7167 search results - page 14 / 1434 » A Technique for Invariant Generation |
101
click to vote
AUTOMATICA
2007
14 years 9 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
JCNS
2008
14 years 9 months ago
2008
Adaptation of the spike-frequency response to constant stimulation, as observed on various timescales in many neurons, reflects high-pass filter properties of a neuron's tran...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
NAACL
2007
14 years 11 months ago
2007
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
89
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...