1245 search results - page 170 / 249 » Binary Sparse Coding |
102
click to vote
VMCAI
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
119
click to vote
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
105
click to vote
ISMAR
2005
IEEE
15 years 8 months ago
2005
IEEE
Since introducing a hybrid vision-inertial tracker using passive fiducial markers, we have encountered several applications in which the use of encoded LEDs would be preferable to...
111
click to vote
COCO
2005
Springer
15 years 8 months ago
2005
Springer
A property tester with high probability accepts inputs satisfying a given property and rejects inputs that are far from satisfying it. A tolerant property tester, as defined by P...