327 search results - page 62 / 66 » Some Elimination Problems for Matrices |
179
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
It is widely accepted that the disproportionate scaling of transistor and conventional on-chip interconnect performance presents a major barrier to future high performance systems...
141
Voted
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
166
click to vote
IWCC
1999
IEEE
15 years 10 months ago
1999
IEEE
The recent improvements in workstation and interconnection network performance have popularized the clusters of off-the-shelf workstations. However, the usefulness of these cluste...
165
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
168
click to vote
SOUPS
2010
ACM
15 years 9 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...