Sciweavers

3554 search results - page 504 / 711
» Estimating software based on use case points
Sort
View
MOBISYS
2010
ACM
15 years 8 months ago
Energy-efficient rate-adaptive GPS-based positioning for smartphones
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
Jeongyeup Paek, Joongheon Kim, Ramesh Govindan
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ICIP
2001
IEEE
16 years 8 months ago
Closed surface reconstruction in X-ray tomography
We study the 3D reconstruction of a binary scene from X-ray tomographic data. In the special case of a compact and uniform object lying in a uniform background, the scene is entir...
Ali Mohammad-Djafari, Charles Soussen
ISSS
1998
IEEE
124views Hardware» more  ISSS 1998»
15 years 10 months ago
Data-Path Synthesis of VLIW Video Signal Processors
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...
Zhao Wu, Wayne Wolf
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer