Sciweavers

1424 search results - page 240 / 285
» Modeling A Control System For Organizational Processes
Sort
View
CP
2004
Springer
15 years 9 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
117
Voted
DBPL
2003
Springer
120views Database» more  DBPL 2003»
15 years 8 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
146
Voted
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 8 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
159
Voted
ISORC
1999
IEEE
15 years 7 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
133
Voted
PG
1999
IEEE
15 years 7 months ago
Subdivision Surface Fitting to a Range of Points
The objective of this research is to apply the subdivision surface for surface fitting problems when generating surfaces from data points or polyhedral models. The basic idea is t...
Hiromasa Suzuki, Shingo Takeuchi, Fumihiko Kimura,...