Search Sciweavers | Sciweavers

5639 search results - page 5 / 1128

» Timed Abstract Non-interference

click to vote

APPROX
2010
Springer

133views Algorithms» more APPROX 2010»

Liftings of Tree-Structured Markov Chains - (Extended Abstract)

14 years 4 months ago

Download www.cs.unm.edu

d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...

Thomas P. Hayes, Alistair Sinclair

claim paper

Read More »

100

click to vote

CORR
2012
Springer

191views Education» more CORR 2012»

The limiting distribution for the number of symbol comparisons used by QuickSort is nondegenerate (extended abstract)

13 years 5 months ago

Download www.ams.jhu.edu

erate (Extended Abstract) Patrick Bindjeme1† and James Allen Fill1 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Bal...

Patrick Bindjeme, James Allen Fill

claim paper

Read More »

click to vote

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Synthesis using approximately bisimilar abstractions: time-optimal control problems

14 years 4 months ago

Download www-ljk.imag.fr

s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...

Antoine Girard

claim paper

Read More »

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 3 months ago