1071 search results - page 88 / 215 » Programming with enumerable sets of structures |
97
Voted
CC
2002
Springer
15 years 14 days ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
93
Voted
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose a novel method to recover the 3D shape of the knee and of the prosthesis for the patients that have undergone total knee replacement surgery. We address t...
120
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Adding a small loop cache to a microprocessor has been shown to reduce average instruction fetch energy for various sets of embedded system applications. With the advent of core-b...
101
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
114
click to vote
JAR
2006
15 years 18 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...