4520 search results - page 820 / 904 » Algebraic Techniques for Timed Systems |
110
Voted
ISPASS
2007
IEEE
15 years 7 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...
134
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
102
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
101
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...