Sciweavers

438 search results - page 52 / 88
» Design and Analysis of Password-Based Key Derivation Functio...
Sort
View
AIM
2004
13 years 7 months ago
Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
Christopher Bailey-Kellogg, Feng Zhao
FMCAD
2009
Springer
14 years 2 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
AUTOMATICA
2008
123views more  AUTOMATICA 2008»
13 years 7 months ago
Identification with stochastic sampling time jitter
This work investigates how stochastic sampling jitter noise affects the result of system identification, and proposes a modification of known approaches to mitigate the effects of...
Frida Eng, Fredrik Gustafsson
MICRO
2002
IEEE
124views Hardware» more  MICRO 2002»
14 years 16 days ago
Optimizing pipelines for power and performance
During the concept phase and definition of next generation high-end processors, power and performance will need to be weighted appropriately to deliver competitive cost/performan...
Viji Srinivasan, David Brooks, Michael Gschwind, P...
SCANGIS
2003
13 years 9 months ago
The Issue of Uncertainty Propagation in Spatial Decision Making
GISs give users facilities to integrate and analyze data from different sources with different scale, accuracy, resolution and quality of the original data which are the key aspect...
Rahim Ali. Abbaspour, Mahmoud Reza Delavar, Reihan...