Sciweavers

3710 search results - page 545 / 742
» A new calculus of contexts
Sort
View
CEC
2009
IEEE
15 years 10 months ago
JubiTool: Unified design flow for the Perplexus SIMD hardware accelerator
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
Olivier Brousse, Jérémie Guillot, Th...
COMPSYSTECH
2007
15 years 10 months ago
Searching the internet for learning materials through didactic indicators
: Internet offers a huge amount of didactic materials that can be used in creating new online courses. However, those materials need a deep analysis to understand their context and...
Marco Alfano, Biagio Lenzitti
CIKM
2009
Springer
15 years 10 months ago
Multidimensional political spectrum identification and analysis
In this work, we show the importance of multidimensional opinion representation in the political context combining domain knowledge and results from principal component analysis. ...
Leilei Zhu, Prasenjit Mitra
DIM
2007
ACM
15 years 10 months ago
Receipt management- transaction history based trust establishment
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
Abhilasha Bhargav-Spantzel, Jungha Woo, Elisa Bert...
DSN
2007
IEEE
15 years 10 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski