Sciweavers

4438 search results - page 615 / 888
» The Case for Collaborative Programming
Sort
View
DATE
2007
IEEE
185views Hardware» more  DATE 2007»
16 years 1 months ago
An ILP formulation for system-level application mapping on network processor architectures
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...
Christopher Ostler, Karam S. Chatha
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
16 years 29 days ago
6 DOF haptic feedback for molecular docking using wave variables
— This paper presents a new method for a six degrees of freedom haptic feedback in molecular docking simulations in virtual reality. The proposed method allows real-time haptic i...
Bruno Daunay, Alain Micaelli, Stephane Régn...
SCAM
2007
IEEE
16 years 28 days ago
Barrier Slicing for Remote Software Trusting
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, C...
CP
2007
Springer
16 years 25 days ago
Dealing with Incomplete Preferences in Soft Constraint Problems
We consider soft constraint problems where some of the preferences may be unspecified. This models, for example, situations with several agents providing the data, or with possibl...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...
CP
2007
Springer
16 years 25 days ago
Solution Counting Algorithms for Constraint-Centered Search Heuristics
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
Alessandro Zanarini, Gilles Pesant