359 search results - page 39 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
133
Voted
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
139
Voted
IWPC
1998
IEEE
15 years 7 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
145
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
140
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
136
Voted
CC
2006
Springer
15 years 6 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...