1620 search results - page 38 / 324 » Testing Polymorphic Properties |
105
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
105
click to vote
APPROX
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by questions in property testing, we search for linear error-correcting codes that have the “single local orbit” property: i.e., they are specified by a single loca...
124
click to vote
IOLTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
123
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
117
click to vote
APCCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper considers z-domain transfer functions whose denominator polynomial possesses the property that the coefficient of zi is greater than the coefficient of zi-1 . Such trans...