4835 search results - page 691 / 967 » Refactoring Functional Programs |
80
Voted
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose a novel defect-tolerant design methodology using Bloom filters for defect mapping for nanoscale computing devices. It is a general approach that can be used for any pe...
89
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
100
Voted
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
103
click to vote
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
139
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...