Sciweavers

18 search results - page 1 / 4
» acsd 2005
Sort
View
116
Voted
ACSD
2005
IEEE
93views Hardware» more  ACSD 2005»
15 years 10 months ago
Formal Methods for Networks on Chips
Kees Goossens
115
Voted
ACSD
2005
IEEE
105views Hardware» more  ACSD 2005»
15 years 7 months ago
Dead-Path-Elimination in BPEL4WS
Franck van Breugel, Mariya Koshkina
112
Voted
ACSD
2005
IEEE
103views Hardware» more  ACSD 2005»
15 years 10 months ago
An Algebra of Pareto Points
Marc Geilen, Twan Basten, Bart D. Theelen, Ralph O...
ACSD
2005
IEEE
114views Hardware» more  ACSD 2005»
15 years 10 months ago
Controlling Speculative Design Processes Using Rich Component Models
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