4520 search results - page 820 / 904 » Algebraic Techniques for Timed Systems |
176
click to vote
ISPASS
2007
IEEE
16 years 19 days 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...
156
click to vote
CCS
2007
ACM
16 years 16 days 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...
192
click to vote
CGO
2006
IEEE
16 years 12 days 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...
158
click to vote
AOSD
2006
ACM
16 years 9 days 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 ...
158
click to vote
KBSE
2005
IEEE
15 years 12 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...