1715 search results - page 305 / 343 » Domain-Specific Program Checking |
CG
2004
Springer
14 years 1 months ago
2004
Springer
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
DSN
2003
IEEE
14 years 28 days ago
2003
IEEE
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
IPPS
2003
IEEE
14 years 28 days ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...