2607 search results - page 383 / 522 » On the Architecture of System Verification Environments |
158
click to vote
SSR
1997
15 years 7 months ago
1997
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
130
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
134
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a set of comprehensive techniques for the intratask voltage scheduling problem to reduce energy consumption in hard real-time tasks of embedded systems. Based ...
184
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Transactional requirements, from new application domains and execution environments, are varying and may exceed traditional ACID properties. We believe that transactional middlewa...
178
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...