Search Sciweavers | Sciweavers

1578 search results - page 76 / 316

» Self-healing systems - survey and synthesis

133

click to vote

CONCUR
2005
Springer

98views Distributed And Parallel Com...» more CONCUR 2005»

Synthesis of Distributed Systems from Knowledge-Based Specifications

15 years 11 months ago

Download www.cse.unsw.edu.au

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

114

click to vote

ASPDAC
2004
ACM

70views Hardware» more ASPDAC 2004»

Object-oriented modeling and synthesis of SystemC specifications

15 years 11 months ago

Download cadal.cse.nsysu.edu.tw

C. Schulz-Key, Markus Winterholer, Thomas Schweize...

claim paper

Read More »

100

click to vote

IFIP
2004
Springer

97views Programming Languages» more IFIP 2004»

Controller Synthesis for Probabilistic Systems

15 years 11 months ago

Download web.informatik.uni-bonn.de

Christel Baier, Marcus Größer, Martin L...

claim paper

Read More »

123

click to vote

GLVLSI
2003
IEEE

152views VLSI» more GLVLSI 2003»

A comprehensive high-level synthesis system for control-flow intensive behaviors

15 years 11 months ago

Download www.ruf.rice.edu

Weidong Wang, Tat Kee Tan, Jiong Luo, Yunsi Fei, L...

claim paper

Read More »

157

click to vote

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers