1980 search results - page 268 / 396 » Compositional Model Checking of Real Time Systems |
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...
138
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
129
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Monitoring global states of an application deployed over distributed nodes becomes prevalent in today's datacenters. State monitoring requires not only correct monitoring resu...
121
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
128
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...