Search Sciweavers | Sciweavers

740 search results - page 14 / 148

» A Spatial Logic for Concurrency

click to vote

ICCAD
1999
IEEE

99views Hardware» more ICCAD 1999»

Concurrent logic restructuring and placement for timing closure

13 years 11 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 »

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 2 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

14 years 1 months ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 1 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers