Sciweavers

4924 search results - page 86 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
COMPSAC
2006
IEEE
15 years 6 months ago
Tool Support to Model-based Quality Analysis of Software Architecture
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Qian Zhang, Jian Wu, Hong Zhu
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 2 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
100
Voted
NIPS
2008
15 years 2 months ago
Learning Hybrid Models for Image Annotation with Partially Labeled Data
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...
Xuming He, Richard S. Zemel
HICSS
2007
IEEE
130views Biometrics» more  HICSS 2007»
15 years 7 months ago
Analysis of Activity in the Open Source Software Development Community
— Open Source Software is computer software for which the source code is publicly open for inspection, modification, and redistribution. While research of a few, large, successf...
Scott Christley, Gregory R. Madey
117
Voted
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
15 years 5 months ago
Static Timing Analysis of Embedded Software on Advanced Processor Architectures
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
André Hergenhan, Wolfgang Rosenstiel