Sciweavers

3889 search results - page 162 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
ICLP
2009
Springer
16 years 4 months ago
Incremental Answer Completion in the SLG-WAM
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
Alexandre Miguel Pinto, Luís Moniz Pereira,...
ICSM
2002
IEEE
15 years 9 months ago
A Case Study of Unanticipated Incremental Change
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
Václav Rajlich, Prashant Gosavi
104
Voted
ADAEUROPE
1998
Springer
15 years 8 months ago
PINROB: A Portable API for Industrial Robots
: This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissocia...
Michael González Harbour, R. Gómez S...
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
14 years 10 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
CODES
1998
IEEE
15 years 8 months ago
Domain-specific interface generation from dataflow specifications
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
Michael Eisenring, Jürgen Teich