15951 search results - page 2939 / 3191 » Lawful software engineering |
161
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
134
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
123
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
166
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
155
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...