4346 search results - page 744 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
162
click to vote
ICTAI
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
182
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
151
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...
218
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
115
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...