Sciweavers

249 search results - page 32 / 50
» Generative programming techniques for Java library migration
Sort
View
ASPLOS
2004
ACM
14 years 2 months ago
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
Mohamed A. Gomaa, Michael D. Powell, T. N. Vijayku...
SIGSOFT
2005
ACM
14 years 9 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
CC
2001
Springer
150views System Software» more  CC 2001»
14 years 8 days ago
SmartTools: A Generator of Interactive Environments Tools
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
Isabelle Attali, Carine Courbis, Pascal Degenne, A...
ICSEA
2006
IEEE
14 years 2 months ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
14 years 1 months ago
Audio Structuring and Personalized Retrieval Using Ontologies
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
Latifur Khan, Dennis McLeod