7080 search results - page 951 / 1416 » Designing High Integrity Systems Using Aspects |
145
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
159
click to vote
JSA
2000
15 years 6 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
163
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
168
Voted
ICPR
2008
IEEE
16 years 23 days ago
2008
IEEE
Segmentation is one of the first and most integral pre-processing steps for any Fingerprint Recognition System. It is used to identify the region of interest within an image. Perf...
180
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— A computationally efficient optimal double correlation (ODC) filter, which works on the fourth order statistics of received samples, is proposed for carrier frequency...