1554 search results - page 141 / 311 » Testing Polymorphic Behavior |
88
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
92
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
108
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
149
Voted
EMS
2009
IEEE
15 years 7 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
94
Voted
AINA
2008
IEEE
15 years 7 months ago
2008
IEEE
Data transmission over wireless networks is challenging due to the occurrence of burst errors, and packet loss caused by such errors seriously limits the maximum achievable throug...