2673 search results - page 308 / 535 » Guided Static Analysis |
155
Voted
HICSS
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper reports on a case study conducted to guide the design and implementation of a group support system. Network analysis of student self-reported interactions was conducted...
162
click to vote
ICDAR
2007
IEEE
16 years 12 days ago
2007
IEEE
Word segmentation is a crucial step for segmentation-free document analysis systems and is used for creating an index based on word matching. In this paper, we propose a novel met...
157
click to vote
IPPS
2006
IEEE
16 years 3 days ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
163
Voted
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
150
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...