3108 search results - page 475 / 622 » The Elements of Computer Credibility |
186
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
160
click to vote
ASAP
2007
IEEE
16 years 23 days ago
2007
IEEE
Currently, television sets with flat plasma and LCD screens with improved resolutions and better color quality are emerging. To fully utilize their capabilities, lower resolution...
177
click to vote
ASAP
2007
IEEE
16 years 23 days ago
2007
IEEE
Existing SIMD extensions cannot efficiently vectorize the histogram function due to memory collisions. We propose two techniques to avoid this problem. In the first, a hierarchi...
144
click to vote
BIBE
2007
IEEE
16 years 23 days ago
2007
IEEE
Alternative splicing is a highly important process in many eukaryotic organisms, but surprisingly little is known about its regulation. Often, this process involves cis-regulatory ...
163
click to vote
EDOC
2007
IEEE
16 years 22 days ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...