86 search results - page 13 / 18 » Incremental compilation for parallel logic verification syst... |
97
Voted
CAV
2008
Springer
15 years 1 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
CC
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
96
Voted
FTDCS
2004
IEEE
15 years 3 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
185
Voted
POPL
2008
ACM
15 years 12 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
98
Voted
CLUSTER
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...