Search Sciweavers | Sciweavers

1578 search results - page 76 / 316

» Self-healing systems - survey and synthesis

click to vote

CONCUR
2005
Springer

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

Synthesis of Distributed Systems from Knowledge-Based Specifications

14 years 1 months ago

Download www.cse.unsw.edu.au

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

click to vote

ASPDAC
2004
ACM

70views Hardware» more ASPDAC 2004»

Object-oriented modeling and synthesis of SystemC specifications

14 years 1 months ago

Download cadal.cse.nsysu.edu.tw

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

claim paper

Read More »

click to vote

IFIP
2004
Springer

97views Programming Languages» more IFIP 2004»

Controller Synthesis for Probabilistic Systems

14 years 1 months ago

Download web.informatik.uni-bonn.de

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

claim paper

Read More »

click to vote

GLVLSI
2003
IEEE

152views VLSI» more GLVLSI 2003»

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

14 years 1 months ago

Download www.ruf.rice.edu

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

claim paper

Read More »

click to vote

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers