Sciweavers

385 search results - page 12 / 77

» Semi-automatic Distributed Synthesis

146

ATVA
2005
Springer

109views Hardware» more ATVA 2005»

Semi-automatic Distributed Synthesis

15 years 11 months ago

Semi-automatic Distributed Synthesis

Download www.csc.liv.ac.uk

Bernd Finkbeiner, Sven Schewe

claim paper

Read More »

129

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

15 years 10 months ago

Distributed Controller Synthesis for Local Specifications

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

153

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

15 years 10 months ago

A process logic for distributed system synthesis

Download staff.aist.go.jp

Yoshinao Isobe, Kazuhito Ohmaki

claim paper

Read More »

104

ISCAS
1994
IEEE

87views Hardware» more ISCAS 1994»

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

15 years 10 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 »

187

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

15 years 9 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 »