Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
18
search results - page 1 / 4
»
acsd 2005
Sort
relevance
views
votes
recent
update
View
thumb
title
104
click to vote
ACSD
2005
IEEE
93
views
Hardware
»
more
ACSD 2005
»
Formal Methods for Networks on Chips
15 years 9 months ago
Download
homepages.inf.ed.ac.uk
Kees Goossens
claim paper
Read More »
75
click to vote
ACSD
2005
IEEE
69
views
Hardware
»
more
ACSD 2005
»
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
15 years 9 months ago
Download
www.irisa.fr
Dumitru Potop-Butucaru, Benoît Caillaud
claim paper
Read More »
104
Voted
ACSD
2005
IEEE
105
views
Hardware
»
more
ACSD 2005
»
Dead-Path-Elimination in BPEL4WS
15 years 5 months ago
Download
www.cse.yorku.ca
Franck van Breugel, Mariya Koshkina
claim paper
Read More »
104
Voted
ACSD
2005
IEEE
103
views
Hardware
»
more
ACSD 2005
»
An Algebra of Pareto Points
15 years 9 months ago
Download
www.es.ele.tue.nl
Marc Geilen, Twan Basten, Bart D. Theelen, Ralph O...
claim paper
Read More »
119
Voted
ACSD
2005
IEEE
114
views
Hardware
»
more
ACSD 2005
»
Controlling Speculative Design Processes Using Rich Component Models
15 years 9 months ago
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 »