2927 search results - page 578 / 586 » An OR Parallel Prolog Model for Distributed Memory Systems |
110
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
121
click to vote
COGSR
2011
14 years 9 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
122
Voted
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
Much of the success of the Internet services model can be attributed to the popularity of a class of workloads that we call Online Data-Intensive (OLDI) services. These workloads ...
140
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
104
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...