170 search results - page 16 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
119
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
ICDCSW
2003
IEEE
15 years 5 months ago
2003
IEEE
— Systems are more and more expected to work in dynamic environment, to deal with fluctuation of their characteristics and to guaranty functional and nonfunctional requirements. ...
104
click to vote
EWSN
2010
Springer
15 years 3 months ago
2010
Springer
Experimentally driven research for wireless sensor networks is invaluable to provide benchmarking and comparison of new ideas. An increasingly common tool in support of this is a t...
102
click to vote
PACS
2000
Springer
15 years 3 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
128
click to vote
PC
2006
14 years 11 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...