3889 search results - page 542 / 778 » The Use of Program Dependence Graphs in Software Engineering |
123
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
174
click to vote
INTENSIVE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
150
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
121
Voted
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
143
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...