9626 search results - page 1455 / 1926 » Invariant Based Programming |
186
click to vote
SASP
2008
IEEE
16 years 1 months ago
2008
IEEE
—Accelerators are special purpose processors designed to speed up compute-intensive sections of applications. Two extreme endpoints in the spectrum of possible accelerators are F...
311
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The multi-source and single-sink (MSSS) topology, in wireless sensor networks, is defined as the network topology, where all of nodes can gather, receive and transmit data to t...
236
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
185
click to vote
IISWC
2006
IEEE
16 years 1 months ago
2006
IEEE
— As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...
180
click to vote
ISCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...