Sciweavers

2127 search results - page 280 / 426
» Software Automation
Sort
View
VEE
2012
ACM
187views Virtualization» more  VEE 2012»
14 years 2 months ago
DDGacc: boosting dynamic DDG-based binary optimizations through specialized hardware support
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...
Demos Pavlou, Enric Gibert, Fernando Latorre, Anto...
CASCON
2003
120views Education» more  CASCON 2003»
15 years 7 months ago
Robust multilingual parsing using island grammars
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
Nikita Synytskyy, James R. Cordy, Thomas R. Dean
SIGSOFT
1998
ACM
15 years 10 months ago
Effective Whole-Program Analysis in the Presence of Pointers
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
Darren C. Atkinson, William G. Griswold
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
16 years 1 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
LCPC
2001
Springer
15 years 11 months ago
The Structure of a Compiler for Explicit and Implicit Parallelism
Abstract. We describe the structure of a compilation system that generates code for processor architectures supporting both explicit and implicit parallel threads. Such architectur...
Seon Wook Kim, Rudolf Eigenmann