851 search results - page 23 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
116
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a method for delivering error-resilient video from wireless camera networks in a distributed fashion over lossy channels. Our scheme is based on distributed source codi...
120
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
134
Voted
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
128
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
124
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...