Sciweavers

3376 search results - page 508 / 676
» Analyzing Software Evolvability
Sort
View
MICRO
2003
IEEE
142views Hardware» more  MICRO 2003»
15 years 11 months ago
Hardware Support for Control Transfers in Code Caches
Many dynamic optimization and/or binary translation systems hold optimized/translated superblocks in a code cache. Conventional code caching systems suffer from overheads when con...
Ho-Seop Kim, James E. Smith
IUI
2003
ACM
15 years 11 months ago
On-line personalization of a touch screen based keyboard
The user expectations for usability and personalization along with decreasing size of handheld devices challenge traditional keypad layout design. We have developed a method for o...
Johan Himberg, Jonna Häkkilä, Petri Kang...
SIGUCCS
2003
ACM
15 years 11 months ago
Deep in budget restraints: return on investment (ROI)
The University of Missouri–Columbia’s Information and Access Technology (IAT) Services division’s InfoTech Training department measures IT training using the return on inves...
Terry Robb, Joleen Pfefer
ADAEUROPE
2003
Springer
15 years 11 months ago
A Quality Model for the Ada Standard Container Library
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
Xavier Franch, Jordi Marco
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn