177 search results - page 7 / 36 » Bridging gap between simulation and spreadsheet study |
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
125
click to vote
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
We study in this paper the problem of bridging the semantic gap between low-level image features and high-level semantic concepts, which is the key hindrance in content-based imag...
DAGSTUHL
2007
15 years 1 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
WSC
2001
15 years 1 months ago
2001
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal...