359 search results - page 65 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
FPCA
1995
14 years 5 days ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
NGITS
1999
Springer
14 years 26 days ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
ICS
2001
Tsinghua U.
14 years 1 months ago
2001
Tsinghua U.
Recent proposals for Chip Multiprocessors (CMPs) advocate speculative, or implicit, threading in which the hardware employs prediction to peel off instruction sequences (i.e., imp...
MINENET
2006
ACM
14 years 2 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
METRICS
2005
IEEE
14 years 2 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...