4520 search results - page 736 / 904 » Algebraic Techniques for Timed Systems |
204
click to vote
SENSYS
2004
ACM
15 years 12 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
194
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
194
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
172
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
169
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...