Sciweavers

5457 search results - page 356 / 1092
» Software Component Independence
Sort
View
SC
2004
ACM
15 years 11 months ago
Modernizing Existing Software: A Case Study
In this paper, we discuss one of our experiments using the coordination language MANIFOLD to restructure an existing sequential numerical application into a concurrent application...
C. T. H. Everaars, Farhad Arbab, Barry Koren
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
15 years 8 months ago
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
Alexandre Chureau, Yvon Savaria, El Mostapha Aboul...
CONCUR
2009
Springer
16 years 18 days ago
Compositional Control Synthesis for Partially Observable Systems
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
Wouter Kuijper, Jaco van de Pol
CSCW
1996
ACM
15 years 10 months ago
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit
CSCW toolkits are designed to ease development of CSCW applications. They provide common, reusable components for cooperative system design, allowing application programmers to co...
Paul Dourish
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 6 months ago
A multivariate generalization of Costa's entropy power inequality
A simple multivariate version of Costa's entropy power inequality is proved. In particular, it is shown that if independent white Gaussian noise is added to an arbitrary multi...
Miquel Payaró, Daniel Pérez Palomar