142 search results - page 25 / 29 » Abstraction-guided synthesis of synchronization |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper, a novel analysis of space-time volume of spherical projection image is presented. So far, space-time analyses have been extensively conducted for various purposes, ...
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
SBCCI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents the design of asynchronous circuits on synchronous FPGAs and CPLDs. Different design styles have been investigated through the implementation of dual-rail full...
EDO
2005
Springer
14 years 1 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...