500 search results - page 22 / 100 » Thread-Modular Abstraction Refinement |
WICSA
2004
14 years 11 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
92
Voted
FLAIRS
2006
14 years 11 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...