2468 search results - page 375 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
Voted
GROUP
2005
ACM
15 years 9 months ago
2005
ACM
Recent proliferation of computing devices has brought attention to heterogeneous collaborative systems, where key challenges arise from the resource limitations and disparities. S...
151
Voted
CODES
2010
IEEE
15 years 11 days ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
127
Voted
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
122
Voted
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— The lack of robust tamper-proofing techniques in security applications has provided attackers the ability to virtually circumvent mathematically strong cryptographic primitive...
147
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
We present a multispectral photometric stereo method for capturing geometry of deforming surfaces. A novel photometric calibration technique allows calibration of scenes containin...