325 search results - page 60 / 65 » MIX Is Not a Tree-Adjoining Language |
142
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
This paper explores a new technique called coherence decoupling, which breaks a traditional cache coherence protocol into two protocols: a Speculative Cache Lookup (SCL) protocol ...
164
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
208
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
166
click to vote
ASPLOS
1994
ACM
15 years 10 months ago
1994
ACM
Synchronization algorithms that are efficient across a wide range of applications and operating conditions are hard to design because their performance depends on unpredictable ru...
167
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...