3909 search results - page 653 / 782 » Extreme Model Checking |
133
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
125
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
135
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
113
click to vote
STOC
2006
ACM
16 years 2 months ago
2006
ACM
One of the major tasks of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on the true evolu...
113
Voted
STOC
2002
ACM
16 years 2 months ago
2002
ACM
We investigate the price of selfish routing in non-cooperative networks in terms of the coordination and bicriteria ratios in the recently introduced game theoretic network model ...