3171 search results - page 481 / 635 » Application of Reduce Order Modeling to Time Parallelization |
122
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
102
Voted
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
128
click to vote
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract—In this paper, we address the issue of transmission power control in wireless ad-hoc networks. In general, it is assumed that minimum transmission power achieves the opt...
115
Voted
ICS
1998
Tsinghua U.
15 years 7 months ago
1998
Tsinghua U.
In order to achieve high performance, contemporary microprocessors must effectively process the four major instruction types: ALU, branch, load, and store instructions. This paper...
140
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Enabling high performance, persistent mobile computing has recently become a very active research area. The widespread popularity of mobile computing devices, such as laptops, han...