Search Sciweavers | Sciweavers

740 search results - page 14 / 148

» A Spatial Logic for Concurrency

145

Voted

ICCAD
1999
IEEE

99views Hardware» more ICCAD 1999»

Concurrent logic restructuring and placement for timing closure

15 years 10 months ago

Download atrak.usc.edu

: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...

Jinan Lou, Wei Chen, Massoud Pedram

claim paper

Read More »

131

Voted

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

16 years 12 days ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

109

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

15 years 11 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

121

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 11 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

116

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers