31 search results - page 3 / 7 » sttt 2008 |
59
Voted
STTT
2010
14 years 10 months ago
2010
STTT
2008
14 years 11 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
STTT
2002
14 years 11 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...
STTT
2002
14 years 11 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...
136
click to vote
STTT
2010
14 years 10 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...