Sciweavers

4491 search results - page 618 / 899
» Algorithm Engineering
Sort
View
205
Voted
EMSOFT
2004
Springer
16 years 1 days ago
An approach for integrating basic retiming and software pipelining
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
Noureddine Chabini, Wayne Wolf
187
Voted
FSTTCS
2004
Springer
16 years 1 days ago
Adaptive Stabilization of Reactive Protocols
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
Shay Kutten, Boaz Patt-Shamir
ICBA
2004
Springer
121views Biometrics» more  ICBA 2004»
16 years 21 hour ago
Watch List Face Surveillance Using Transductive Inference
The open set recognition task, most challenging among the biometric tasks, operates under the assumption that not all the probes have mates in the gallery. It requires the availabi...
Fayin Li, Harry Wechsler
ICFEM
2004
Springer
16 years 17 hour ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
LCTRTS
2004
Springer
16 years 6 hour ago
Procrastination scheduling in fixed priority real-time systems
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...
Ravindra Jejurikar, Rajesh K. Gupta