Sciweavers

273 search results - page 20 / 55
» Automated Composition of Hardware Components
Sort
View
ICSOFT
2007
14 years 8 days ago
An Algorithm for Automatic Service Composition
Telecommunication companies are struggling to provide their users with value-added services. These services are expected to be context-aware, attentive and personalized. Since it i...
Eduardo Goncalves da Silva, Luís Ferreira P...
EMSOFT
2001
Springer
14 years 3 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
HASE
1997
IEEE
14 years 3 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 5 months ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...
PPOPP
2006
ACM
14 years 4 months ago
On-line automated performance diagnosis on thousands of processes
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
Philip C. Roth, Barton P. Miller