1403 search results - page 67 / 281 » Quantitative Interprocedural Analysis |
118
Voted
CHARME
1999
Springer
15 years 5 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...
125
click to vote
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
101
click to vote
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
98
Voted
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
Analysis of handwritten characters (allographs) plays an important role in forensic document examination. However, so far there lacks a comprehensive and quantitative study on ind...
EUSFLAT
2001
15 years 2 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...