Sciweavers

4586 search results - page 701 / 918
» Computing stable models in parallel
Sort
View
CF
2006
ACM
15 years 7 months ago
Landing openMP on cyclops-64: an efficient mapping of openMP to a many-core system-on-a-chip
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
Juan del Cuvillo, Weirong Zhu, Guang R. Gao
122
Voted
ICDCSW
2008
IEEE
15 years 10 months ago
A Novel CDS-Based Reputation Monitoring System for Wireless Sensor Networks
Reputation and Trust-based Monitoring Systems (RTMSs) have provided a ubiquitous framework for secure Wireless Sensor Network (WSN) computing. Employing sensors for neighborhood m...
Avinash Srinivasan, Feng Li, Jie Wu
149
Voted
PG
2007
IEEE
15 years 10 months ago
Explicit Control of Vector Field Based Shape Deformations
Vector Field Based Shape Deformations (VFSD) have been introduced as an efficient method to deform shapes in a volume-preserving foldover-free manner. However, mainly simple impl...
Wolfram von Funck, Holger Theisel, Hans-Peter Seid...
CONCUR
2007
Springer
15 years 10 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
136
Voted
CCGRID
2006
IEEE
15 years 10 months ago
Towards Building an Intelligent Traffic Simulation Platform
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
Jian Cao, Minglu Li, Linpeng Huang, Ren Qinsheng, ...