3909 search results - page 529 / 782 » Extreme Model Checking |
181
click to vote
WOWMOM
2006
ACM
16 years 7 days ago
2006
ACM
Delay tolerant and mobile ad hoc networks, present considerable challenges to the development of protocols and systems. In particular, the challenge of being able to cope with the...
154
click to vote
CGO
2005
IEEE
15 years 12 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
164
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Clinical Practice Guidelines (CPGs) are increasingly common in clinical medicine for prescribing a set of rules that a physician should follow. Recent interest is in accu...
159
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
155
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...