702 search results - page 120 / 141 » Analysis and Performance Results of a Molecular Modeling App... |
RTCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
ICCAD
1999
IEEE
14 years 7 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
CC
2006
Springer
13 years 11 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...