1410 search results - page 82 / 282 » A Logic for Virtual Memory |
126
click to vote
WSPI
2004
15 years 5 months ago
2004
Cognitive sciences, including cognitive neurosciences, have provided important insights into the notions of awareness, implicit/explicit information processing in knowledge, percep...
143
click to vote
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
135
click to vote
PADS
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
149
Voted
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
—Virtual machines offer unique advantages to the scientific computing community, such as Quality of Service(QoS) guarantee, performance isolation, easy resource management, and ...
135
click to vote
RR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...