Sciweavers

1998 search results - page 342 / 400
» Situated Control Rules
Sort
View
PERCOM
2007
ACM
16 years 3 months ago
Good Manners for Pervasive Computing--An Approach Based on the Ambient Calculus
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
Gregor Schiele, Marcus Handte, Christian Becker
DCC
2008
IEEE
16 years 3 months ago
Distributed Multi-stage Coding of Correlated Sources
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
Ankur Saxena, Kenneth Rose
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
16 years 28 days ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
TACAS
2010
Springer
210views Algorithms» more  TACAS 2010»
15 years 11 months ago
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
ISBI
2009
IEEE
15 years 11 months ago
Direct Adaptive Algorithms for CT Reconstruction
This work concerns with linear and spatially-adaptive direct reconstruction algorithms for 2-D parallel-beam transmission tomography, extending the Filtered Back-Projection (FBP)....
Joseph Shtok, Michael Elad, Michael Zibulevsky