3236 search results - page 481 / 648 » Designing better phages |
113
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
117
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Parallel simulation techniques are often employed to meet the computational requirements of large hardware simulations in order to reduce simulation time. In addition, partitionin...
118
Voted
ISWC
2000
IEEE
15 years 8 months ago
2000
IEEE
As new technologies create smaller, cheaper and faster machines, we see a paradigm shift from desktop computing to wearable computing. In less than a decade, we have witnessed the...
147
Voted
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Multilevel Fiduccia-Mattheyses MLFM hypergraph partitioning 3, 22, 24 is a fundamental optimization in VLSI CAD physical design. The leading implementation, hMetis 23 , has sinc...
118
Voted
UIST
1999
ACM
15 years 8 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...