Sciweavers

4378 search results - page 199 / 876
» On the Complexity of Ordered Colourings
Sort
View
ISCA
2007
IEEE
145views Hardware» more  ISCA 2007»
16 years 26 days ago
Mechanisms for store-wait-free multiprocessors
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
Thomas F. Wenisch, Anastassia Ailamaki, Babak Fals...
ICSM
2008
IEEE
16 years 1 months ago
Design principles in architectural evolution: A case study
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...
Michel Wermelinger, Yijun Yu, Angela Lozano
ISSAC
2007
Springer
132views Mathematics» more  ISSAC 2007»
16 years 21 days ago
Structured matrix methods for polynomial root-finding
In this paper we discuss the use of structured matrix methods for the numerical approximation of the zeros of a univariate polynomial. In particular, it is shown that root-findin...
Luca Gemignani
AIED
2005
Springer
16 years 3 days ago
Generating Structured Explanations of System Behaviour Using Qualitative Simulations
This paper presents an approach to generate structured explanations of system behaviour based on qualitative simulations. This has been implemented in WiziGarp, a domain-independen...
Anders Bouwer, Bert Bredeweg
CP
2005
Springer
16 years 3 days ago
Encoding Requests to Web Service Compositions as Constraints
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
Alexander Lazovik, Marco Aiello, Rosella Gennari