2482 search results - page 332 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
113
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
122
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
110
Voted
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
101
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
116
Voted
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Three dimensional vertically integrated systems allow active devices to be placed on multiple device layers. In recent years, a number of research efforts have addressed physical ...