6355 search results - page 915 / 1271 » From Logic to Games |
150
click to vote
PATMOS
2004
Springer
16 years 5 days ago
2004
Springer
Current characterization methods introduce an important error in the measurement process. In this paper, we present a novel method to drive the timing characterization of logic gat...
201
click to vote
PPDP
2004
Springer
16 years 5 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
155
click to vote
PVM
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
252
click to vote
WAC
2004
Springer
16 years 5 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
177
click to vote
WADT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...