Sciweavers

852 search results - page 144 / 171
» entcs 2010
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
14 years 10 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
ENTCS
2007
100views more  ENTCS 2007»
14 years 10 months ago
Using Template Haskell for Abstract Interpretation
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
Clara Segura, Carmen Torrano
ENTCS
2007
107views more  ENTCS 2007»
14 years 10 months ago
Dynamic Contextual Adaptation
When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their develope...
Antonio Brogi, Javier Cámara, Carlos Canal,...
ENTCS
2007
94views more  ENTCS 2007»
14 years 10 months ago
Virtual Organizations in Arigatoni
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
Michel Cosnard, Luigi Liquori, Raphaël Chand
70
Voted
ENTCS
2007
79views more  ENTCS 2007»
14 years 10 months ago
Fault Detection in Multi-Threaded C++ Server Applications
Due to increasing demands in processing power on the one hand, but the physical limit on CPU clock speed on the other hand, multi-threaded programming is becoming more important i...
Arndt Mühlenfeld, Franz Wotawa