5235 search results - page 363 / 1047 » Analysis of Multithreaded Programs |
198
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
180
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
150
click to vote
TSE
2002
15 years 6 months ago
2002
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
188
click to vote
TSE
2010
15 years 5 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
187
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...