10870 search results - page 2015 / 2174 » Model Checking Programs |
123
Voted
SPW
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
104
click to vote
ISCA
1998
IEEE
15 years 6 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
132
click to vote
ISCA
1998
IEEE
15 years 6 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...
112
click to vote
MICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper proposes a precise approach to register allocation for irregular-register architectures which is based on 0-1 integer programming (IP). Prior work shows that IP registe...
112
click to vote
ICS
1998
Tsinghua U.
15 years 5 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...