695 search results - page 107 / 139 » Dynamic Software Architectures Verification using DynAlloy |
105
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
127
Voted
DAGSTUHL
2011
14 years 10 days ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
115
Voted
HPCA
2005
IEEE
16 years 27 days ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
120
click to vote
MOBIHOC
2008
ACM
16 years 3 days ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...