Sciweavers

4924 search results - page 291 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 21 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
ICSE
1999
IEEE-ACM
15 years 10 months ago
Experience with Performing Architecture Tradeoff Analysis
Software architectures, like complex designs in any field, embody tradeoffs made by the designers. However, these tradeoffs are not always made explicitly by the designers and the...
Rick Kazman, Mario Barbacci, Mark Klein, S. Jeromy...
PNPM
1987
15 years 9 months ago
Stochastic Petri Net Analysis of a Replicated File System
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
Joanne Bechta Dugan, Gianfranco Ciardo
CVPR
2007
IEEE
16 years 8 months ago
Online Detection of Fire in Video
This paper describes an online learning based method to detect flames in video by processing the data generated by an ordinary camera monitoring a scene. Our fire detection method...
A. Enis Çetin, B. Ugur Töreyin
EMSOFT
2007
Springer
16 years 9 days ago
WCET estimation for executables in the presence of data caches
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
Rathijit Sen, Y. N. Srikant