2826 search results - page 145 / 566 » A resource-based analysis of IT sourcing |
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
- This paper investigates important problems involved in the design of a CML buffer as well as a chain of tapered CML buffers. A new design procedure to systematically design a cha...
106
click to vote
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
120
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
117
click to vote
ADL
1997
Springer
15 years 6 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
136
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...