Sciweavers

5775 search results - page 271 / 1155
» A Rationale-based Analysis Tool
Sort
View
IAT
2006
IEEE
16 years 22 days ago
Semantic Grid Services for Video Analysis
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
Gayathri Nadarajan, Yun-Heh Chen-Burger, James Mal...
PLDI
2006
ACM
16 years 19 days ago
LOCKSMITH: context-sensitive correlation analysis for race detection
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
Polyvios Pratikakis, Jeffrey S. Foster, Michael W....
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
16 years 6 days ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
VIZSEC
2004
Springer
16 years 20 hour ago
Email archive analysis through graphical visualization
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...
Wei-Jen Li, Shlomo Hershkop, Salvatore J. Stolfo
HICSS
2002
IEEE
127views Biometrics» more  HICSS 2002»
15 years 11 months ago
Interactive Visualization and Analysis for Gene Expression Data
Currently, the cDNA and genomic sequence projects are processing at such a rapid rate that more and more gene data become available. New methods are needed to efficiently and eff...
Chun Tang, Li Zhang, Aidong Zhang