1492 search results - page 53 / 299 » Testing Properties of Constraint-Graphs |
131
click to vote
APN
1993
Springer
15 years 7 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
123
click to vote
ICS
2010
Tsinghua U.
16 years 25 days ago
2010
Tsinghua U.
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
122
Voted
STOC
1991
ACM
15 years 7 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
126
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
134
Voted
ICCAD
2006
IEEE
16 years 10 days ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...