Search Sciweavers | Sciweavers

261 search results - page 5 / 53

» Detecting Temporal Logic Predicates on Distributed Computati...

click to vote

CONCUR
2009
Springer

157views Distributed And Parallel Com...» more CONCUR 2009»

Time-Bounded Verification

15 years 1 months ago

Download www.cs.tau.ac.il

Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...

Joël Ouaknine, Alexander Rabinovich, James Wo...

claim paper

Read More »

click to vote

ECSQARU
1997
Springer

162views Automated Reasoning» more ECSQARU 1997»

Cactus: A Branching-Time Logic Programming Language

15 years 1 months ago

Download www.ionio.gr

Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...

Panos Rondogiannis, Manolis Gergatsoulis, Themis P...

claim paper

Read More »

Voted

IEEEPACT
2002
IEEE

91views Distributed And Parallel Com...» more IEEEPACT 2002»

Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines

15 years 2 months ago

Download www.cc.gatech.edu

This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...

Benjamin Goldberg, Emily Crutcher, Chad Huneycutt,...

claim paper

Read More »

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 3 months ago