Sciweavers

269 search results - page 4 / 54
» The Quantitative Structure of Exponential Time
Sort
View
MICRO
2002
IEEE
164views Hardware» more  MICRO 2002»
14 years 17 days ago
A quantitative framework for automated pre-execution thread selection
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
Amir Roth, Gurindar S. Sohi
FSTTCS
2010
Springer
13 years 5 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre
JCNS
2000
84views more  JCNS 2000»
13 years 7 months ago
Nonlinear Thermodynamic Models of Voltage-Dependent Currents
Hodgkin and Huxley provided the first quantitative description of voltage-dependent currents and adjusted their model to experimental data using empirical functions of voltage. A p...
Alain Destexhe, John R. Huguenard
SODA
2001
ACM
93views Algorithms» more  SODA 2001»
13 years 9 months ago
Making data structures confluently persistent
We address a longstanding open problem of [11, 10], and present a general transformation that transforms any pointer based data structure to be confluently persistent. Such transf...
Amos Fiat, Haim Kaplan
LICS
2005
IEEE
14 years 1 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey