359 search results - page 22 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
106
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
121
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
109
Voted
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
111
Voted
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...