Sciweavers

9997 search results - page 411 / 2000
» The case for crowd computing
Sort
View
BPM
2005
Springer
76views Business» more  BPM 2005»
16 years 11 days ago
The Price of Coordination in Resource Management
Abstract. We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at run...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
FOSSACS
2005
Springer
16 years 10 days ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
CASES
2000
ACM
15 years 11 months ago
PROMPT: a mapping environment for telecom applications on "system-on-a-chip"
Increasing of computation needs and improving of processor integration make the mapping of embedded real-time applications more and more expensive. PROMPT [1] provides a new appro...
Michel Barreteau, Juliette Mattioli, Thierry Grand...
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
15 years 11 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
GECCO
2000
Springer
142views Optimization» more  GECCO 2000»
15 years 10 months ago
Improving EAs for Sequencing Problems
Sequencing problems have to be solved very often in VLSI CAD. To obtain results of high quality, Evolutionary Algorithms (EAs) have been successfully applied in many cases. Howeve...
Wolfgang Günther, Rolf Drechsler