Search Sciweavers | Sciweavers

4217 search results - page 102 / 844

» Computational indistinguishability logic

138

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

16 years 24 days ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

144

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

136

click to vote

IPPS
2000
IEEE

161views Distributed And Parallel Com...» more IPPS 2000»

Compiling Process Algebraic Descriptions into Reconfigurable Logic

15 years 11 months ago

Download ipdps.cc.gatech.edu

Oliver Diessel, George J. Milne

claim paper

Read More »

140

click to vote

DAC
2000
ACM

103views Computer Architecture» more DAC 2000»

BDS: a BDD-based logic optimization system

15 years 11 months ago

Download www.ecs.umass.edu

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

claim paper

Read More »

172

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers