1376 search results - page 58 / 276 » Monitoring Software Requirements Using Instrumented Code |
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
IEEEMSP
2002
IEEE
15 years 2 months ago
2002
IEEE
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
123
click to vote
HPCA
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
CSMR
2003
IEEE
15 years 3 months ago
2003
IEEE
Software visualization tools face many challenges in terms of their implementation, including scalability, usability, adaptability, and durability. Such tools, like many other res...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...