Sciweavers

999 search results - page 127 / 200
» On the Decidability of Functional Uncertainty
Sort
View
ICSE
2003
IEEE-ACM
14 years 9 months ago
Experiences from the Architectural Change Process
A good software architecture is becoming recognized as a major factor for successful products. There has been much research on the technical aspects of software architecture and i...
Josef Nedstam, Even-André Karlsson, Martin ...
EUROSYS
2008
ACM
14 years 6 months ago
Task activity vectors: a new metric for temperature-aware scheduling
Non-uniform utilization of functional units in combination with hardware mechanisms such as clock gating leads to different power consumptions in different parts of a processor ch...
Andreas Merkel, Frank Bellosa
ICDE
2009
IEEE
155views Database» more  ICDE 2009»
14 years 3 months ago
SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic Databases
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
Dan Olteanu, Jiewen Huang, Christoph Koch
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
14 years 3 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
SMC
2007
IEEE
137views Control Systems» more  SMC 2007»
14 years 3 months ago
Cooperative mixed strategy for service selection in service oriented architecture
—In Service Oriented Architecture (SOA), service brokers could find many service providers which offer same function with different quality of service (QoS). Under this condition...
Yimin Shen, Yushun Fan