Sciweavers

18 search results - page 1 / 4

» acsd 2005

12

ACSD
2005
IEEE

93views Hardware» more ACSD 2005»

Formal Methods for Networks on Chips

13 years 10 months ago

Formal Methods for Networks on Chips

Download homepages.inf.ed.ac.uk

Kees Goossens

claim paper

Read More »

11

ACSD
2005
IEEE

69views Hardware» more ACSD 2005»

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

13 years 10 months ago

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Download www.irisa.fr

Dumitru Potop-Butucaru, Benoît Caillaud

claim paper

Read More »

13

ACSD
2005
IEEE

105views Hardware» more ACSD 2005»

Dead-Path-Elimination in BPEL4WS

13 years 7 months ago

Dead-Path-Elimination in BPEL4WS

Download www.cse.yorku.ca

Franck van Breugel, Mariya Koshkina

claim paper

Read More »

12

ACSD
2005
IEEE

103views Hardware» more ACSD 2005»

An Algebra of Pareto Points

13 years 10 months ago

An Algebra of Pareto Points

Download www.es.ele.tue.nl

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph O...

claim paper

Read More »

10

ACSD
2005
IEEE

114views Hardware» more ACSD 2005»

Controlling Speculative Design Processes Using Rich Component Models

13 years 10 months ago

Controlling Speculative Design Processes Using Rich Component Models

Download csdl2.computer.org

This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...

Werner Damm

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »