Sciweavers

1624 search results - page 256 / 325
» Modelling Variability for System Families
Sort
View
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
14 years 4 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
ISKI
1992
14 years 2 months ago
Generic Update Operations Keeping Object-Oriented Databases Consistent
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
Christian Laasch, Marc H. Scholl
AGP
2010
IEEE
14 years 2 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
CORR
2010
Springer
103views Education» more  CORR 2010»
13 years 10 months ago
Robust Matrix Decomposition with Outliers
Suppose a given observation matrix can be decomposed as the sum of a low-rank matrix and a sparse matrix (outliers), and the goal is to recover these individual components from th...
Daniel Hsu, Sham M. Kakade, Tong Zhang
CCE
2007
13 years 10 months ago
An agent-based approach for supply chain retrofitting under uncertainty
In this work, decisions that have a long lasting effect on the SC such as the design and retrofit of a production/distribution network are considered. The retrofitting tasks are a...
Fernando D. Mele, Gonzalo Guillén, Antonio ...