Sciweavers

1107 search results - page 79 / 222
» XAIRA : software for language analysis
Sort
View
CODES
2008
IEEE
14 years 5 months ago
Static analysis of processor stall cycle aggregation
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...
Jongeun Lee, Aviral Shrivastava
CSMR
2004
IEEE
14 years 2 months ago
Using Split Objects for Maintenance and Reengineering Tasks
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
Uwe Zdun
IWMM
2010
Springer
140views Hardware» more  IWMM 2010»
14 years 17 days ago
Parametric inference of memory requirements for garbage collected languages
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
VLSID
1999
IEEE
139views VLSI» more  VLSID 1999»
14 years 3 months ago
Processor Modeling for Hardware Software Codesign
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
V. Rajesh, Rajat Moona
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 3 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...