3394 search results - page 126 / 679 » A Modal Model of Memory |
131
click to vote
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...
108
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
PADS
2000
ACM
15 years 5 months ago
2000
ACM
In this paper, we introduce a new Time Warp system called ROSS: Rensselaer’s Optimistic Simulation System. ROSS is an extremely modular kernel that is capable of achieving event...
117
Voted
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
108
Voted
IJDET
2010
14 years 10 months ago
2010
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...