1410 search results - page 49 / 282 » A Logic for Virtual Memory |
101
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
123
click to vote
ISNN
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Systems for keyword and non-linguistic vocalization detection in conversational agent applications need to be robust with respect to background noise and different speak...
133
click to vote
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
ERSA
2006
15 years 1 months ago
2006
Optically Reconfigurable Gate Arrays (ORGAs), by exploiting the large storage capacity of holographic memory, offer the possibility of providing a virtual gate count that is much l...
112
click to vote
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
For the past few years many new applications are being developed featuring interactive environments populated with autonomous virtual agents capable of acting according to their g...