1287 search results - page 215 / 258 » Reduction of Timed Hybrid Systems |
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
On-chip coherence directories of today's multi-core systems are not energy efficient. Coherence directories dissipate a significant fraction of their power on unnecessary loo...
HPDC
2008
IEEE
13 years 10 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Wireless Network Interface Cards (WNICs) are part of every portable device, where efficient energy management plays a significant role in extending the device's battery life....
CL
2002
Springer
13 years 9 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
TMI
2010
13 years 8 months ago
2010
— Intestinal motility assessment with video capsule endoscopy arises as a novel and challenging clinical fieldwork. This technique is based on the analysis of the patterns of in...