4491 search results - page 635 / 899 » Algorithm Engineering |
191
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks (WSNs) have become an increasingly compelling platform for Structural Health Monitoring (SHM) applications, since they can be installed relatively inexpen...
189
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
154
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
162
click to vote
FASE
2007
Springer
16 years 24 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
170
click to vote
PEPM
2007
ACM
16 years 22 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...