Search Sciweavers | Sciweavers

5639 search results - page 5 / 1128

» Timed Abstract Non-interference

136

click to vote

APPROX
2010
Springer

133views Algorithms» more APPROX 2010»

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

14 years 9 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 »

139

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 10 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 »

116

Voted

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Synthesis using approximately bisimilar abstractions: time-optimal control problems

14 years 9 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 »

103

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 7 months ago