379 search results - page 43 / 76 » Generalized Typestate Checking for Data Structure Consistenc... |
VMV
2001
13 years 10 months ago
2001
Computational steering requires the coupling of simulation and visualization elements, but if the latter is targetted at general requirements, little or no information about the c...
ENTCS
2002
13 years 8 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
ICDT
2012
ACM
11 years 11 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
TELSYS
2002
13 years 8 months ago
2002
Native multicast routing protocols have been built and deployed using two basic types of trees: singlesource, shortest-path trees and shared, core-based trees. Core-based multicas...
ITCC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper introduces the notions of mask and multiple format for setting up a progressive access to information in an Information System. Masks consist of more or less complete r...