6102 search results - page 599 / 1221 » Generating Optimizing Specializers |
188
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
188
click to vote
RTCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
226
click to vote
VISUALIZATION
2005
IEEE
16 years 1 months ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...
229
click to vote
HASKELL
2005
ACM
16 years 29 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
161
click to vote
SAC
2005
ACM
16 years 29 days ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...