1528 search results - page 208 / 306 » Performance Assertion Checking |
118
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
104
click to vote
ACISICIS
2010
IEEE
15 years 3 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
86
Voted
IJCAI
2003
15 years 3 months ago
2003
Minesweeper is a one-person game which looks deceptively easy to play, but where average human performance is far from optimal. Playing the game requires logical, arithmetic and p...
104
click to vote
VCIP
2000
15 years 3 months ago
2000
This work presents a geometry based vision system for aircraft recognition and pose estimation using single images. Pose estimation improves the tracking performance of guided wea...
104
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract-- An elementary combinatorial Tanner graph construction for a family of near-regular low density parity check (LDPC) codes achieving high girth is presented. These codes a...