4242 search results - page 205 / 849 » An Event Spacing Experiment |
147
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
To get efficient HW management in 2D Reconfigurable Systems, heuristics are needed to select the best place to locate each arriving task. We propose a technique that locates the ta...
147
click to vote
CHARME
1993
Springer
15 years 10 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
161
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
141
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
156
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...