Sciweavers

6431 search results - page 847 / 1287
» Model Building by Resolution
Sort
View
BIRTHDAY
2009
Springer
16 years 29 days ago
Reasoning About Alternative Requirements Options
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
Axel van Lamsweerde
169
Voted
CEC
2009
IEEE
16 years 28 days ago
Active categorical perception in an evolved anthropomorphic robotic arm
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...
Elio Tuci, Gianluca Massera, Stefano Nolfi
163
Voted
CLUSTER
2009
IEEE
16 years 28 days ago
GPU clusters for high-performance computing
—Large-scale GPU clusters are gaining popularity in the scientific computing community. However, their deployment and production use are associated with a number of new challenge...
Volodymyr V. Kindratenko, Jeremy Enos, Guochun Shi...
NDSS
2009
IEEE
16 years 26 days ago
The Blind Stone Tablet: Outsourcing Durability to Untrusted Parties
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
Peter Williams, Radu Sion, Dennis Shasha
IPPS
2009
IEEE
16 years 24 days ago
An analysis of the impact of multi-threading on communication performance
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
François Trahay, Elisabeth Brunet, Alexandr...