2203 search results - page 77 / 441 » Temporal Abstract Interpretation |
154
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
219
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
254
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
160
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...