Sciweavers

1968 search results - page 194 / 394
» The Complexity of Valued Constraint Models
Sort
View
IPPS
2003
IEEE
15 years 7 months ago
Better Real-Time Response for Time-Share Scheduling
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
Scott A. Banachowski, Scott A. Brandt
123
Voted
FORMATS
2008
Springer
15 years 3 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
ACL
2007
15 years 3 months ago
Mildly Context-Sensitive Dependency Languages
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constra...
Marco Kuhlmann, Mathias Möhl
123
Voted
CPC
2000
93views more  CPC 2000»
15 years 1 months ago
Fast Unimodular Counting
This paper describes methods for counting the number of non-negative integer solutions of the system Ax = b when A is a non-negative totally unimodular matrix and b an integral ve...
John Mount
ET
2000
145views more  ET 2000»
15 years 1 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar