Sciweavers

484 search results - page 67 / 97
» Caching function calls using precise dependencies
Sort
View
PE
2007
Springer
112views Optimization» more  PE 2007»
13 years 8 months ago
Performance bounds for feedforward queueing networks with upper-constrained inputs
We propose a simple framework for analyzing feedforward queueing networks that have the following features: each customer belongs to a (customer) flow and the route that a custom...
S. Shioda
LPAR
2010
Springer
13 years 7 months ago
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
Benjamin Grégoire, Jorge Luis Sacchini
ICASSP
2011
IEEE
13 years 7 days ago
Pinna sensitivity patterns reveal reflecting and diffracting surfaces that generate the first spectral notch in the front median
Finite-Difference Time Domain (FDTD) acoustic simulation was used to calculate Pinna-Related Transfer Functions (PRTFs) of the KEMAR manikin's DB60 pinna. A baseline set of 2...
Parham Mokhtari, Hironori Takemoto, Ryouichi Nishi...
EWSN
2008
Springer
14 years 8 months ago
FiGaRo: Fine-Grained Software Reconfiguration for Wireless Sensor Networks
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...
Luca Mottola, Gian Pietro Picco, Adil Amjad Sheikh
ICDE
2004
IEEE
121views Database» more  ICDE 2004»
14 years 10 months ago
Online Amnesic Approximation of Streaming Time Series
The past decade has seen a wealth of research on time series representations, because the manipulation, storage, and indexing of large volumes of raw time series data is impractic...
Themistoklis Palpanas, Michail Vlachos, Eamonn J. ...