Sciweavers

1969 search results - page 117 / 394
» Incremental Processing and Acceptability
Sort
View
158
Voted
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 10 months ago
Time Constrained Modulo Scheduling with Global Resource Sharing
Commonly used scheduling algorithms in high-level synthesis only accept one process at a time and are not capable of sharing resources across process boundaries. This results in t...
Christoph Jäschke, Rainer Laur, Friedrich Bec...
NMR
2004
Springer
15 years 11 months ago
On the bipolarity in argumentation frameworks
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
Leila Amgoud, Claudette Cayrol, Marie-Christine La...
EDOC
2008
IEEE
15 years 7 months ago
Runtime Monitoring of Message-Based Workflows with Data
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
Sylvain Hallé, Roger Villemaire
IDEAS
2005
IEEE
80views Database» more  IDEAS 2005»
15 years 11 months ago
Dynamic Histograms for Non-Stationary Updates
In this paper, we address the problem of incrementally maintaining a histogram in response to a non-stationary update process. In relational database systems, this problem can occ...
Elizabeth Lam, Kenneth Salem
ASWEC
2000
IEEE
15 years 10 months ago
Software Evolution in Componentware-A Practical Approach
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
Andreas Rausch