1528 search results - page 167 / 306 » Performance Assertion Checking |
133
click to vote
HIPEAC
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we examine the trade-offs in performance and area due to customizing the datapath and instruction set architecture of a soft VLIW processor implemented in a high-den...
101
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
108
Voted
LREC
2010
15 years 4 months ago
2010
In this paper, we present several ways to measure and evaluate the annotation and annotators, proposed and used during the building of the Czech part of the Prague Czech-English D...
CLIMA
2004
15 years 3 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
110
click to vote
AAAI
1990
15 years 3 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...