Sciweavers

425 search results - page 50 / 85
» Tools for OpenMP application development: the POST project
Sort
View
WIA
2009
Springer
14 years 2 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
ECTEL
2007
Springer
14 years 1 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...
IPPS
2003
IEEE
14 years 25 days ago
A Case Study of Optimistic Computing on the Grid: Parallel Mesh Generation
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...
Nikos Chrisochoides, Andriy Fedorov, Bruce Lowekam...
COLCOM
2009
IEEE
14 years 8 days ago
Learning communities supported by autonomic recommendation mechanism
- Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration. Thus, it appears as a powerful paradigm to develop scalable distribut...
Stainam N. Brandao, Ricardo T. Silva, Jano M. Souz...
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock