Sciweavers

612 search results - page 24 / 123
» Hardness assumptions in the foundations of theoretical compu...
Sort
View
ADAEUROPE
2010
Springer
14 years 16 days ago
What to Make of Multicore Processors for Reliable Real-Time Systems?
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
Theodore P. Baker
GI
2010
Springer
13 years 6 months ago
Service Level Management in Dynamic Value Networks
: This paper presents a framework for Service Level Management in dynamic, heterogeneous environments for service composition. Assumptions to and the architecture of a framework is...
Wibke Michalk, Simon Caton
CSR
2007
Springer
14 years 1 months ago
Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen
DCC
2000
IEEE
13 years 7 months ago
Discrete Logarithms: The Past and the Future
The first practical public key cryptosystem to be published, the Diffie-Hellman key exchange algorithm, was based on the assumption that discrete logarithms are hard to compute. T...
Andrew M. Odlyzko
AI
2008
Springer
13 years 7 months ago
Understanding the role of noise in stochastic local search: Analysis and experiments
Stochastic local search (SLS) algorithms have recently been proven to be among the best approaches to solving computationally hard problems. SLS algorithms typically have a number...
Ole J. Mengshoel