1855 search results - page 113 / 371 » Composing model programs for analysis |
120
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
149
click to vote
TPDS
1998
15 years 2 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
104
Voted
SOCRATES
2008
15 years 4 months ago
2008
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
138
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
127
click to vote
WSC
2008
15 years 5 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...