Search Sciweavers | Sciweavers

1578 search results - page 80 / 316

» Self-healing systems - survey and synthesis

click to vote

DAC
1992
ACM

115views Computer Architecture» more DAC 1992»

Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components

14 years 6 days ago

Download si2.epfl.ch

Rajesh K. Gupta, Claudionor José Nunes Coel...

claim paper

Read More »

click to vote

FSEN
2009
Springer

147views Software Engineering» more FSEN 2009»

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

14 years 10 hour ago

Download www.cs.aau.dk

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

claim paper

Read More »

click to vote

EH
2004
IEEE

81views Hardware» more EH 2004»

Evolution Based Synthesis of Analog Integrated Circuits and Systems

13 years 12 months ago

Download ehw.jpl.nasa.gov

Sina Balkir, Günhan Dündar, Guner Alpayd...

claim paper

Read More »

click to vote

ICCD
1997
IEEE

91views Hardware» more ICCD 1997»

Power Compiler: A Gate-Level Power Optimization and Synthesis System

13 years 11 months ago

Download www.cs.berkeley.edu

Benjamin Chen, Ivailo Nedelchev

claim paper

Read More »

click to vote

ICALP
1995
Springer

86views Programming Languages» more ICALP 1995»

Automatic Synthesis of Real Time Systems

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers