Sciweavers

4839 search results - page 143 / 968
» A survey of computational complexity results in systems and ...
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 1 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
HYBRID
2003
Springer
15 years 7 months ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
GECCO
2005
Springer
148views Optimization» more  GECCO 2005»
15 years 7 months ago
An analysis of island models in evolutionary computation
A need for solving more and more complex problems drives the Evolutionary Computation community towards advanced models of Evolutionary Algorithms. One such model is the island mo...
Zbigniew Skolicki
CRYPTO
2008
Springer
165views Cryptology» more  CRYPTO 2008»
15 years 3 months ago
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
Payman Mohassel, Enav Weinreb
ICC
2007
IEEE
15 years 8 months ago
A Low-Complexity Path Metric for Tree-Based Multiple-Antenna Detectors
— Traditional multiple-antenna detectors – which search a tree or a lattice structure – typically apply a metric that requires a preprocessing. Contrary to that, we present a...
Christian Kuhn, Norbert Görtz