8437 search results - page 1318 / 1688 » Preferences over Sets |
204
click to vote
JSS
2007
15 years 6 months ago
2007
A control flow trace captures the complete sequence of dynamically executed basic blocks and function calls. It is usually of very large size and therefore commonly stored in com...
150
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
182
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
189
click to vote
ASC
2004
15 years 6 months ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...
192
click to vote
COMCOM
2004
15 years 6 months ago
2004
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...