2468 search results - page 391 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
137
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
164
click to vote
3DIM
2005
IEEE
15 years 5 months ago
2005
IEEE
Camera calibration methods, whether implicit or explicit, are a critical part of most 3D vision systems. These methods involve estimation of a model for the camera that produced t...
166
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
Unique and challenging security problems arise due to the scarcity of computational, storage, and power resources in the low-cost pervasive computing environment. Particularly rel...
140
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...