4609 search results - page 487 / 922 » Automatic Generation of Sigma-Protocols |
155
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...
124
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
A semi-automatic 3D roof reconstruction method is proposed in this paper. It consists of two components: automatic recognition of 2D plane drawings and interactively “pulling”...
145
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...
176
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
161
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...