Sciweavers

4426 search results - page 166 / 886
» Concurrent Constraint Programming
Sort
View
156
Voted
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 11 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
PARELEC
2006
IEEE
15 years 10 months ago
Application-Driven Development of Concurrent Packet Processing Platforms
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...
Christian Sauer, Matthias Gries, Jörg-Christi...
ISSS
2002
IEEE
194views Hardware» more  ISSS 2002»
15 years 9 months ago
Managing Dynamic Concurrent Tasks in Embedded Real-Time Multimedia Systems
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
Rudy Lauwereins, Chun Wong, Paul Marchal, Johan Vo...
138
Voted
GCB
1997
Springer
74views Biometrics» more  GCB 1997»
15 years 8 months ago
Using constraint programming for lattice protein folding
We present a global search technique for nding the global minimal conformation of a sequence in Dill's HP-lattice model5;6 . The HP-lattice model is a simpli ed model of prot...
Rolf Backofen
ICWL
2007
Springer
15 years 10 months ago
Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
Nguyen-Thinh Le, Wolfgang Menzel