15754 search results - page 804 / 3151 » Programs are Knowledge Bases |
190
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
195
click to vote
OSDI
2008
ACM
16 years 8 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
206
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
199
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
210
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...