1760 search results - page 212 / 352 » A System to Mark Programs Automatically |
133
Voted
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
127
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
164
Voted
DB
2008
15 years 3 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
138
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...
127
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...