Sciweavers

1407 search results - page 178 / 282
» The Use of Overloading in Java Programs
Sort
View
PLDI
2003
ACM
15 years 8 months ago
Points-to analysis using BDDs
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
Marc Berndl, Ondrej Lhoták, Feng Qian, Laur...
ISSTA
2010
ACM
15 years 7 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
ADBIS
2003
Springer
144views Database» more  ADBIS 2003»
15 years 8 months ago
Updatable XML Views
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
DCOSS
2010
Springer
15 years 8 months ago
Stateful Mobile Modules for Sensor Networks
Most sensor network applications are dominated by the acquisition of sensor values. Due to energy limitations and high energy costs of communication, in-network processing has been...
Moritz Strübe, Rüdiger Kapitza, Klaus St...
ICSE
2010
IEEE-ACM
15 years 1 months ago
Enhancing collaboration of multi-developer projects with synchronous changes
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
Lile Hattori