Search Sciweavers | Sciweavers

12950 search results - page 83 / 2590

» On Optimal Timed Strategies

click to vote

RTDB
1996

131views more RTDB 1996»

Value-cognizant Admission Control Strategies for Real-Time DBMS

13 years 11 months ago

Download www.cs.bu.edu

We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...

Azer Bestavros, Sue Nagy

claim paper

Read More »

click to vote

DATE
2005
IEEE

107views Hardware» more DATE 2005»

Exploring NoC Mapping Strategies: An Energy and Timing Aware Technique

14 years 3 months ago

Download www.date-conference.com

Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...

César A. M. Marcon, Ney Laert Vilar Calazan...

claim paper

Read More »

click to vote

TCC
2005
Springer

102views Cryptology» more TCC 2005»

Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs

14 years 3 months ago

Download www.cs.umd.edu

The standard class of adversaries considered in cryptography is that of strict polynomial-time probabilistic machines. However, expected polynomial-time machines are often also co...

Jonathan Katz, Yehuda Lindell

claim paper

Read More »

click to vote

CONCUR
2007
Springer

101views Distributed And Parallel Com...» more CONCUR 2007»

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

14 years 4 months ago

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt

claim paper

Read More »