Sciweavers

385 search results - page 12 / 77

» Semi-automatic Distributed Synthesis

27

ATVA
2005
Springer

109views Hardware» more ATVA 2005»

Semi-automatic Distributed Synthesis

14 years 3 months ago

Semi-automatic Distributed Synthesis

Download www.csc.liv.ac.uk

Bernd Finkbeiner, Sven Schewe

claim paper

Read More »

30

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

14 years 2 months ago

Distributed Controller Synthesis for Local Specifications

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

26

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

14 years 2 months ago

A process logic for distributed system synthesis

Download staff.aist.go.jp

Yoshinao Isobe, Kazuhito Ohmaki

claim paper

Read More »

19

ISCAS
1994
IEEE

87views Hardware» more ISCAS 1994»

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

14 years 1 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 »

46

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

14 years 1 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 12 / 77 Last » Next »