3335 search results - page 593 / 667 » Grid result checking |
172
click to vote
ICS
2007
Tsinghua U.
16 years 7 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
163
click to vote
ISSTA
2006
ACM
16 years 1 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
160
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
144
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
149
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...