Sciweavers

2631 search results - page 243 / 527
» Software Development with Code Maps
Sort
View
137
Voted
GI
2004
Springer
15 years 9 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
101
Voted
WSC
2007
15 years 6 months ago
Code analysis and CS-XML
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
Kara A. Olson, C. Michael Overstreet, E. Joseph De...
132
Voted
ASPLOS
2008
ACM
15 years 5 months ago
How low can you go?: recommendations for hardware-supported minimal TCB code execution
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Mi...
119
Voted
CGO
2010
IEEE
15 years 10 months ago
Integrated instruction selection and register allocation for compact code generation exploiting freeform mixing of 16- and 32-bi
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
Tobias J. K. Edler von Koch, Igor Böhm, Bj&ou...
117
Voted
ICAS
2005
IEEE
88views Robotics» more  ICAS 2005»
15 years 9 months ago
A New Approach for the Construction of ALM Trees using Layered Coding
— This paper presents a novel approach for efficient tree construction in ALM (Application Layer Multicast) using layered video coding. This system is suitable for the users in h...
Yohei Okada, Masato Oguro, Jiro Katto, Sakae Okubo