3130 search results - page 222 / 626 » Design Correctness of Digital Systems |
139
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
137
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
147
Voted
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe an idea to develop interactive narrative with iTV. We propose a framework to deliver television event, usually dramas or cartoons, having multiple and se...
135
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
121
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...