1715 search results - page 17 / 343 » Domain-Specific Program Checking |
105
click to vote
FPL
2009
Springer
14 years 12 months ago
2009
Springer
In this article, we introduce the ongoing research in modeling and mapping for heterogeneous, customizable, parallel systems, as part of the effort in the newly established Center...
103
Voted
IASTEDSEA
2004
15 years 3 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
114
click to vote
RISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
125
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
POPL
1992
ACM
15 years 6 months ago
1992
ACM
