2583 search results - page 297 / 517 » Compiling for stream processing |
175
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
163
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
159
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we propose a new object-based video coding/transmission system using the emerging Motion JPEG 2000 standard [1] for the efficient storage and delivery of video surve...
256
click to vote
Publication
Traffic measurements on a ring local area computer network at the Massachusetts Institute of Technology are presented. The analysis of the arrival pattern shows that the arrival pr...
103
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Many events are captured using multiple cameras today. Frames of each video stream have to be synchronized and aligned to a common time axis before processing them. Synchronizatio...