Search Sciweavers | Sciweavers

8232 search results - page 266 / 1647

» Dynamic Logic Programming

122

click to vote

PATMOS
2005
Springer

91views Modeling and Simulation» more PATMOS 2005»

A Design Methodology for Secured ICs Using Dynamic Current Mode Logic

16 years 3 days ago

Download www.uclouvain.be

François Macé, François-Xavie...

claim paper

Read More »

111

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

Download mvlsi.kaist.ac.kr

Kwang-Il Oh, Lee-Sup Kim

claim paper

Read More »

143

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 »

143

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

Download www.cs.mcgill.ca

Hervé Avril, Carl Tropper

claim paper

Read More »

131

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers