3236 search results - page 481 / 648 » Designing better phages |
IPPS
2000
IEEE
14 years 2 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...
IPPS
2000
IEEE
14 years 2 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...
ISWC
2000
IEEE
14 years 2 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...
ASPDAC
2000
ACM
14 years 2 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...
UIST
1999
ACM
14 years 2 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...