2111 search results - page 255 / 423 » How to Program Pervasive Systems |
192
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
159
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
218
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
186
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
195
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...