31 search results - page 3 / 7 » sttt 2008 |
83
Voted
STTT
2010
15 years 2 months ago
2010
116
Voted
STTT
2008
15 years 3 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
107
Voted
STTT
2002
15 years 3 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
105
Voted
STTT
2002
15 years 3 months ago
2002
Physics, biology, and medicine have well-refined public explanations of their research processes. Even in simplified form, these provide guidance about what counts as "good re...
167
Voted
STTT
2010
15 years 2 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...