Sciweavers

904 search results - page 125 / 181
» Component Programming - a Fresh Look at Software Components
Sort
View
POPL
2004
ACM
14 years 3 months ago
Summarizing procedures in concurrent programs
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
14 years 5 months ago
Toward a runtime system for reconfigurable computers: A virtualization approach
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
Mojtaba Sabeghi, Koen Bertels
ICSM
2008
IEEE
14 years 4 months ago
Non-invasive and non-scattered annotations for more robust pointcuts
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
Leonardo Silva, Samuel Domingues, Marco Tulio de O...
ISCAS
2006
IEEE
114views Hardware» more  ISCAS 2006»
14 years 4 months ago
System for deposition and characterization of polypyrrole/gold bilayer hinges
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
Edward Choi, Yingkai Liu, Elisabeth Smela, Andreas...
HICSS
2005
IEEE
178views Biometrics» more  HICSS 2005»
14 years 3 months ago
The Entity Container - An Object-Oriented and Model-Driven Persistency Cache
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
Gernot Schmoelzer, Stefan Mitterdorfer, Christian ...