2278 search results - page 386 / 456 » Specification Techniques for Automatic Performance Analysis ... |
112
click to vote
PASTE
1999
ACM
15 years 3 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
208
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Graphs are being increasingly used to model a wide range of scientific data. Such widespread usage of graphs has generated considerable interest in mining patterns from graph datab...
111
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
PAMI
2007
14 years 10 months ago
2007
—The identification of a person on the basis of scanned images of handwriting is a useful biometric modality with application in forensic and historic document analysis and const...