Sciweavers

4604 search results - page 350 / 921
» Concurrency in Synchronous Systems
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
16 years 2 days ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
RTCSA
2003
IEEE
16 years 4 days ago
Towards Aspectual Component-Based Development of Real-Time Systems
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
Aleksandra Tesanovic, Dag Nyström, Jörge...
ECOOP
2010
Springer
15 years 11 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
CONCURRENCY
2010
75views more  CONCURRENCY 2010»
15 years 7 months ago
An Open Source performance tools software suite for scientific computing
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
Philip J. Mucci, Tushar Mohan
ASAP
2004
IEEE
126views Hardware» more  ASAP 2004»
15 years 10 months ago
Hyper-Programmable Architectures for Adaptable Networked Systems
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
Gordon J. Brebner, Philip James-Roxby, Eric Keller...