Sciweavers

4924 search results - page 143 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
134
Voted
WCET
2007
15 years 5 months ago
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
Daniel Sundmark, Anders Pettersson, Christer Sandb...
130
Voted
IPPS
2007
IEEE
15 years 10 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema
154
Voted
CVPR
2006
IEEE
16 years 5 months ago
Activity Analysis in Microtubule Videos by Mixture of Hidden Markov Models
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
Alphan Altinok, Motaz A. El Saban, Austin J. Peck,...
140
Voted
MSR
2005
ACM
15 years 9 months ago
Recovering system specific rules from software repositories
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
Chadd C. Williams, Jeffrey K. Hollingsworth
133
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
A Comprehensive Process Model for Studying Software Process Papers
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavj...