2635 search results - page 350 / 527 » Computing multihomogeneous resultants using straight-line pr... |
176
click to vote
ICC
2008
IEEE
16 years 25 days ago
2008
IEEE
—This paper concerns the problem of finding the minimum-length TDMA frame of a power-controlled wireless network subject to traffic demands and SINR (signalto-interference-plus...
165
click to vote
WCRE
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
155
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
136
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
158
click to vote
PVM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper we make the case for adding standard nonblocking collective operations to the MPI standard. The non-blocking point-to-point and blocking collective operatio...