Sciweavers

4722 search results - page 396 / 945
» Representation-independent program analysis
Sort
View
DEXAW
2004
IEEE
132views Database» more  DEXAW 2004»
15 years 10 months ago
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
Samir Jafar, Sébastien Varrette, Jean-Louis...
KDD
2000
ACM
110views Data Mining» more  KDD 2000»
15 years 10 months ago
An empirical analysis of techniques for constructing and searching k-dimensional trees
Affordable, fast computers with large memories have lessened the demand for program efficiency, but applications such as browsing and searching very large databases often have rat...
Douglas A. Talbert, Douglas H. Fisher
FLAIRS
2007
15 years 9 months ago
Performance Analysis of Evolutionary Search with a Dynamic Restart Policy
In this work we explore how the complexity of a problem domain affects the performance of evolutionary search using a performance-based restart policy. Previous research indicates...
Michael Solano, Istvan Jonyer
127
Voted
WSC
2008
15 years 9 months ago
Simulation as a tool for life cycle cost analysis
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
Khaled Shahata, Tarek Zayed
CODES
2008
IEEE
15 years 8 months ago
Slack analysis in the system design loop
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
Girish Venkataramani, Seth Copen Goldstein