4895 search results - page 823 / 979 » Tools for Grammar Engineering |
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
NETGAMES
2006
ACM
15 years 4 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...
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
101
click to vote
SBCCI
2006
ACM
15 years 4 months ago
2006
ACM
The growing complexity and production cost of processor-based systems have imposed big constraints in SoC design of new systems. GPPs and ASICs are unable to fit the tight perform...
UIST
2006
ACM
15 years 4 months ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...