505 search results - page 83 / 101 » Optimization of Collective Reduction Operations |
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
92
Voted
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— This paper studies TCP performance over multihop wireless networks that use the IEEE 802.11 protocol as the access method. Our analysis and simulations show that, given a speci...
97
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Business Intelligence (BI) refers to technologies, tools, and practices for collecting, integrating, analyzing, and presenting large volumes of information to enable better decisi...
154
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...