3302 search results - page 226 / 661 » Software Is More Than Code |
137
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
A novel eyelash removal method for preprocessing of human iris images in a human iris recognition system is presented. The method filters each occluded pixel along an axis perpend...
141
click to vote
GLOBECOM
2008
IEEE
15 years 12 months ago
2008
IEEE
— For decoding low-density parity-check (LDPC) codes on discrete memoryless channels, a method to quantize messages and to find message-passing decoding functions for the variab...
168
click to vote
BIRTHDAY
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
156
click to vote
DMS
2010
15 years 3 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
153
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...