Sciweavers

4426 search results - page 546 / 886
» Concurrent Constraint Programming
Sort
View
ICTAI
2003
IEEE
16 years 2 days ago
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
Benjamin W. Wah, Yixin Chen
CODES
1998
IEEE
15 years 11 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
ISLPED
1998
ACM
79views Hardware» more  ISLPED 1998»
15 years 11 months ago
Voltage scheduling problem for dynamically variable voltage processors
This paper presents a model of dynamically variable voltage processor and basic theorems for power-delay optimization. A static voltage scheduling problem is also proposed and for...
Tohru Ishihara, Hiroto Yasuura
ECOOP
1998
Springer
15 years 11 months ago
Orthogonal to the Java Imperative
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Suad Alagic, Jose Solorzano, David Gitchell
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 11 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige