77 search results - page 5 / 16 » A Verification Approach for GALS Integration of Synchronous ... |
119
click to vote
EWSN
2006
Springer
16 years 22 days ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
119
click to vote
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
DAC
1999
ACM
15 years 5 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
135
click to vote
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
134
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...