Sciweavers

3731 search results - page 513 / 747
» cases 2006
Sort
View
COMSWARE
2006
IEEE
16 years 21 days ago
Remote storage for mobile devices
— The ability to access remote file storage from mobile devices enables a number of new use cases for storing and sharing data. We describe the design and implementation of a Rem...
Jarkko Tolvanen, Tapio Suihko, Jaakko Lipasti, N. ...
CSMR
2006
IEEE
16 years 21 days ago
Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
Andy Zaidman, Serge Demeyer, Bram Adams, Kris De S...
CSMR
2006
IEEE
16 years 21 days ago
A Language Independent Framework for Context-sensitive Formatting
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J...
DATE
2006
IEEE
83views Hardware» more  DATE 2006»
16 years 20 days ago
What lies between design intent coverage and model checking?
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. ...
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 20 days ago
A parallel configuration model for reducing the run-time reconfiguration overhead
Multitasking on reconfigurable logic can achieve very high silicon reusability. However, configuration latency is a major limitation and it can largely degrade the system performa...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi