932 search results - page 73 / 187 » Verifying Progress in Timed Systems |
144
click to vote
WCET
2008
15 years 5 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
182
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
106
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...
137
click to vote
ICIP
2002
IEEE
2002
IEEE
Real-time reconstruction of wavelet encoded meshes for view-dependent transmission and visualization
16 years 5 months ago
Wavelet methods for geometry encoding is a recently emerged superset of multiresolution analysis which has proven to be very efficient in term of compression and adaptive transmis...
139
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...