Search Sciweavers | Sciweavers

4401 search results - page 128 / 881

» Computing with Default Logic

129

click to vote

DAC
2000
ACM

103views Computer Architecture» more DAC 2000»

BDS: a BDD-based logic optimization system

15 years 10 months ago

Download www.ecs.umass.edu

Congguang Yang, Maciej J. Ciesielski, Vigyan Singh...

claim paper

Read More »

167

click to vote

LCN
1998
IEEE

72views Computer Networks» more LCN 1998»

Optical Logic Circuits: A New Approach to the Control of Fiber Optic LANs

15 years 10 months ago

Download caclab.csd.auth.gr

Georgios I. Papadimitriou, Amalia N. Miliou, Andre...

claim paper

Read More »

137

click to vote

IPPS
1997
IEEE

79views Distributed And Parallel Com...» more IPPS 1997»

Logic Channels: A Coordination Approach to Distributed Programming

15 years 10 months ago

Download www.lcc.uma.es

Manuel Díaz, Bartolomé Rubio, Jos&ea...

claim paper

Read More »

140

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 10 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

124

click to vote

DAC
1993
ACM

90views Computer Architecture» more DAC 1993»

Optimization of Combinational Logic Circuits Based on Compatible Gates

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers