1906 search results - page 195 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
117
Voted
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
While shrinking geometries of embedded LSI devices is beneficial for portable intelligent systems, it is increasingly susceptible to influences from electrical noise, process vari...
139
click to vote
TOG
2002
15 years 3 months ago
2002
Placing shadows is difficult task since shadows depend on the relative positions of lights and objects in an unintuitive manner. To simplify the task of the modeler, we present a ...
159
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
119
click to vote
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
128
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
The behavior and performance of MPI non-blocking message passing operations are sensitive to implementation specifics as they are heavily dependant on available system level buff...