Sciweavers

4924 search results - page 305 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
SEFM
2006
IEEE
16 years 19 days ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux
CDC
2008
IEEE
157views Control Systems» more  CDC 2008»
15 years 6 months ago
A hidden Markov filtering approach to multiple change-point models
We describe a hidden Markov modeling approach to multiple change-points that has attractive computational and statistical properties. This approach yields explicit recursive filter...
Tze Leung Lai, Haipeng Xing
IPPS
1997
IEEE
15 years 10 months ago
Enhancing Software DSM for Compiler-Parallelized Applications
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
Peter J. Keleher, Chau-Wen Tseng
KBSE
2007
IEEE
16 years 27 days ago
The business case for automated software engineering
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin...
EMSOFT
2004
Springer
16 years 5 hour ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...