5639 search results - page 485 / 1128 » Timed Abstract Non-interference |
121
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
Abstract-- This paper presents the results obtained from an experimental study of the impact of modern process technologies on the electrical parameters of interconnects. Variation...
147
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
205
Voted
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
121
Voted
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
We describe algorithms to explore the space of all possible reconciliations between a gene tree and a species tree. We propose an algorithm for generating a random reconciliation, ...
154
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We present a fast converging method for distance-based phylogenetic inference, which is novel in two respects. First, it is the only method (to our knowledge) to guarante...