Search Sciweavers | Sciweavers

13 search results - page 1 / 3

» ictac 2009

click to vote

ICTAC
2009
Springer

129views Applied Computing» more ICTAC 2009»

The PlusCal Algorithm Language

13 years 11 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

click to vote

ICTAC
2009
Springer

91views Applied Computing» more ICTAC 2009»

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

click to vote

ICTAC
2009
Springer

116views Applied Computing» more ICTAC 2009»

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

13 years 11 months ago

Download www.memics.cz

Nikola Benes, Jan Kretínský, Kim Gul...

claim paper

Read More »

click to vote

ICTAC
2009
Springer

135views Applied Computing» more ICTAC 2009»

A Deadlock-Free Semantics for Shared Memory Concurrency

13 years 11 months ago

Download ftp-sop.inria.fr

Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...

Gérard Boudol

claim paper

Read More »

click to vote

ICTAC
2009
Springer

103views Applied Computing» more ICTAC 2009»

Regular Expressions with Numerical Constraints and Automata with Counters

13 years 11 months ago

Download www.ii.uib.no

Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...

Dag Hovland

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers