1511 search results - page 119 / 303 » Relational Parametricity for Computational Effects |
128
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study the issue of performance prediction on the SGIPower Challenge, a typical SMP. On such a platform, the cost of memory accesses depends on their locality and on contention ...
143
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper considers the medium access problem in the IEEE 802.11 standard. Although the transmission bit rates have clearly increased, some MAC related problems remain unsolved...
149
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
A physical yet compact gate delay model is developed integrating short-channel effects and the Alpha-power law based timing model. This analytical approach accurately predicts bot...
128
click to vote
APAL
2002
15 years 4 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
279
click to vote
ICS
2011
Tsinghua U.
14 years 8 months ago
2011
Tsinghua U.
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...