494 search results - page 40 / 99 » A Framework for Synchronous Tele-Cooperation |
ICCAD
1996
IEEE
15 years 2 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
IFM
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
ENTCS
2008
14 years 10 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
120
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
IJCV
2006
14 years 10 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...