Sciweavers

4466 search results - page 395 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
IEEEPACT
2005
IEEE
16 years 6 days ago
Memory State Compressors for Giga-Scale Checkpoint/Restore
We propose a checkpoint store compression method for coarse-grain giga-scale checkpoint/restore. This mechanism can be useful for debugging, post-mortem analysis and error recover...
Andreas Moshovos, Alexandros Kostopoulos
WABI
2010
Springer
178views Bioinformatics» more  WABI 2010»
15 years 5 months ago
Haplotype Inference on Pedigrees with Recombinations and Mutations
Abstract. Haplotype Inference (HI) is a computational challenge of crucial importance in a range of genetic studies, such as functional genomics, pharmacogenetics and population ge...
Yuri Pirola, Paola Bonizzoni, Tao Jiang
SIGGRAPH
1994
ACM
15 years 10 months ago
A framework for the analysis of error in global illumination algorithms
In this paper we identify sources of error in global illumination algorithms and derive bounds for each distinct category. Errors arise from three sources: inaccuracies in the bou...
James Arvo, Kenneth E. Torrance, Brian E. Smits
VIP
2000
15 years 8 months ago
A System for Geographical and Spatial Data Exploration on the Internet
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
Celyn S. L. Chan, Tony K. Y. Chan, Edmond Cyril Pr...
CAV
2007
Springer
166views Hardware» more  CAV 2007»
16 years 24 days ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...