Sciweavers

1631 search results - page 33 / 327

» Uniform Distributed Synthesis

18

ATVA
2005
Springer

109views Hardware» more ATVA 2005»

Semi-automatic Distributed Synthesis

14 years 1 months ago

Semi-automatic Distributed Synthesis

Download www.csc.liv.ac.uk

Bernd Finkbeiner, Sven Schewe

claim paper

Read More »

22

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

14 years 2 days ago

Distributed Controller Synthesis for Local Specifications

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

20

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

14 years 1 days ago

A process logic for distributed system synthesis

Download staff.aist.go.jp

Yoshinao Isobe, Kazuhito Ohmaki

claim paper

Read More »

15

ISCAS
1994
IEEE

87views Hardware» more ISCAS 1994»

Circuit Synthesis of Clock Distribution Networks Based on Non-Zero Clock Skew

13 years 11 months ago

Circuit Synthesis of Clock Distribution Networks Based on Non-Zero Clock Skew

Download www.ece.rochester.edu

José Luis Neves, Eby G. Friedman

claim paper

Read More »

35

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

13 years 11 months ago

Distributed synthesis of real-time computer systems

Download blogs.najah.edu

Ahmad Abualsamid, Raed Alqadi, Parameswaran Ramana...

claim paper

Read More »

« Prev « First page 33 / 327 Last » Next »