2203 search results - page 77 / 441 » Temporal Abstract Interpretation |
123
Voted
CSL
2008
Springer
15 years 5 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...
128
Voted
CORR
2010
Springer
15 years 3 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...
170
click to vote
NPAR
2010
ACM
15 years 8 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...
217
Voted
POPL
2009
ACM
16 years 4 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...
116
Voted
CDC
2008
IEEE
15 years 9 months 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...