4924 search results - page 358 / 985 » A Software System for Spatial Data Analysis and Modeling |
230
click to vote
FCCM
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...
174
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: High throughput microarray technologies have afforded the investigation of genomes, epigenomes, and transcriptomes at unprecedented resolution. However, software packa...
187
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
159
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
197
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...