1626 search results - page 192 / 326 » Subtyping with Power Types |
124
click to vote
TVLSI
2002
15 years 4 months ago
2002
This paper presents an irredundant encoding technique to minimize the switching activity on a multiplexed Dynamic RAM (DRAM) address bus. The DRAM switching activity can be classif...
167
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
220
click to vote
PVM
2010
Springer
15 years 3 months ago
2010
Springer
A major trend in HPC is the escalation toward manycore, where systems are composed of shared memory nodes featuring numerous processing units. Unfortunately, with scale comes compl...
131
Voted
TROB
2010
15 years 3 months ago
2010
—High-gain proportional–integral–derivative (PID) position control involves some risk of unsafe behaviors in cases of abnormal events, such as unexpected environment contacts...
140
Voted
PIMRC
2010
IEEE
15 years 2 months ago
2010
IEEE
The first stage of the signal processing chain in a Global Positioning System (GPS) receiver is the acquisition, which provides for a desired satellite coarse code phase and Dopple...