1304 search results - page 239 / 261 » Model Checking C Programs Using F-SOFT |
128
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
113
click to vote
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
133
click to vote
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
113
Voted
BIBM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
217
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...