Search Sciweavers | Sciweavers

1902 search results - page 60 / 381

» Differential Dynamic Logics

click to vote

ISLPED
2003
ACM

81views Hardware» more ISLPED 2003»

A clock delayed sleep mode domino logic for wide dynamic OR gate

15 years 8 months ago

Download mvlsi.kaist.ac.kr

Kwang-Il Oh, Lee-Sup Kim

claim paper

Read More »

109

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

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

122

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 7 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

100

click to vote

PADS
1996
ACM

104views Modeling and Simulation» more PADS 1996»

The Dynamic Load Balancing of Clustered Time Warp for Logic Simulation

15 years 7 months ago

Download www.cs.mcgill.ca

Hervé Avril, Carl Tropper

claim paper

Read More »

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers