Sciweavers

384 search results - page 3 / 77
» Generic Software Framework for Adaptive Applications on FPGA...
Sort
View
CORR
2007
Springer
132views Education» more  CORR 2007»
13 years 7 months ago
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
Areski Flissi, Philippe Merle
ICVS
2001
Springer
13 years 12 months ago
A Framework for Generic State Estimation in Computer Vision Applications
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
Cristian Sminchisescu, Alexandru Telea
CISIS
2010
IEEE
14 years 2 months ago
CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
Zakwan Jaroucheh, Xiaodong Liu, Sally Smith
GPCE
2007
Springer
13 years 11 months ago
Library composition and adaptation using c++ concepts
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
Jaakko Järvi, Matthew A. Marcus, Jacob N. Smi...
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 5 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth