144 search results - page 27 / 29 » It Is Time to Mechanize Programming Language Metatheory |
104
Voted
CONCURRENCY
2002
14 years 10 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems s...
84
Voted
ASPLOS
1996
ACM
15 years 2 months ago
1996
ACM
: One of the fundamental limits to high-performance, high-reliability file systems is memory's vulnerability to system crashes. Because memory is viewed as unsafe, systems per...
79
Voted
ASPLOS
2000
ACM
15 years 2 months ago
2000
ACM
Simultaneous Multithreading machines fetch and execute instructions from multiple instruction streams to increase system utilization and speedup the execution of jobs. When there ...
103
Voted
EMSOFT
2008
Springer
15 years 1 days ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...