Sciweavers

4924 search results - page 228 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
300
Voted
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 7 months ago
XML database support for distributed execution of data-intensive scientific workflows
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
Shannon Hastings, Matheus Ribeiro, Stephen Langell...
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 5 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
VLSI
2007
Springer
16 years 1 months ago
Fast estimation of software energy consumption using IPI(Inter-Prefetch Interval) energy model
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
Jungsoo Kim, Kyungsu Kang, Heejun Shim, Woong Hwan...
EUROPAR
2007
Springer
16 years 1 months ago
Analysis of a Kalman Approach for a Pedestrian Positioning System in Indoor Environments
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
Edith Pulido Herrera, Ricardo Quirós, Hanne...
ICFEM
2010
Springer
15 years 5 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio