1768 search results - page 252 / 354 » A Logic for Algebraic Effects |
189
click to vote
TIME
2009
IEEE
16 years 28 days ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
142
click to vote
DSD
2008
IEEE
16 years 19 days ago
2008
IEEE
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...
167
click to vote
DSN
2008
IEEE
16 years 19 days ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
149
click to vote
ICALT
2008
IEEE
16 years 19 days ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
137
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...