39362 search results - page 244 / 7873 » Global Computing Systems |
135
click to vote
ELPUB
2008
ACM
15 years 5 months ago
2008
ACM
A key parameter in any discussions about the academic peer reviewed journal system is the number of articles annually published. Several diverging estimates of this parameter have...
150
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
135
Voted
MP
2006
15 years 3 months ago
2006
Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
145
click to vote
PAA
2007
15 years 3 months ago
2007
In this paper, we present a global approach for constructing high dynamic range mosaics from multiple images with large exposure differences. To minimize registration errors caused...
148
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...