1492 search results - page 224 / 299 » Testing Properties of Constraint-Graphs |
130
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
122
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...
121
click to vote
ICDT
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
119
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
135
click to vote
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...