Sciweavers

2485 search results - page 48 / 497
» Time Bounded Frequency Computations
Sort
View
TMI
2008
108views more  TMI 2008»
13 years 10 months ago
Estimation and Statistical Bounds for Three-Dimensional Polar Shapes in Diffuse Optical Tomography
Abstract--Voxel-based reconstructions in diffuse optical tomography (DOT) using a quadratic regularization functional tend to produce very smooth images due to the attenuation of h...
Gregory Boverman, Eric L. Miller, Dana H. Brooks, ...
EUC
2008
Springer
13 years 12 months ago
A Generalized Framework for System-Wide Energy Savings in Hard Real-Time Embedded Systems
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...
Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada, Tohr...
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
14 years 3 months ago
Plausible Clocks with Bounded Inaccuracy
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
Brad T. Moore, Paolo A. G. Sivilotti
GECCO
2005
Springer
108views Optimization» more  GECCO 2005»
14 years 3 months ago
Some theoretical results about the computation time of evolutionary algorithms
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
Lixin X. Ding, Jinghu Yu
APN
2004
Springer
14 years 3 months ago
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
Olivier H. Roux, Didier Lime