1626 search results - page 287 / 326 » Subtyping with Power Types |
125
click to vote
MICRO
2008
IEEE
15 years 8 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
: The separating distance between the transceivers is one of the main factors that affect the quality of the received optical signal as the receiver changes locations in an optical...
122
click to vote
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
As the number of computing and storage nodes keeps increasing, the interconnection network is becoming a key element of many computing and communication systems, where the overall...
123
click to vote
MICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
A significant part of future microprocessor real estate will be dedicated to L2 or L3 caches. These on-chip caches will heavily impact processor performance, power dissipation, a...
129
click to vote
CMMR
2007
Springer
15 years 8 months ago
2007
Springer
A survey of emotion in North Indian classical music was undertaken to determine the type and consistency of emotional responses to raag. Participants listened to five oneminute r...