709 search results - page 55 / 142 » Type Checking in XOBE |
111
Voted
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
This paper proposes a method for extracting subimages from a huge reference image by using lifting wavelet transforms that map integers to integers. Our integertype lifting wavele...
208
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
131
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
107
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
159
Voted
ER
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...