1291 search results - page 139 / 259 » Computing the multiplicity structure in solving polynomial s... |
134
click to vote
AVI
2006
15 years 3 months ago
2006
In this paper we describe NAVRNA, an interactive system that enables biologists or researchers in bioinformatics to visualize, explore and edit RNA molecules. The key characterist...
108
Voted
DAC
2001
ACM
16 years 2 months ago
2001
ACM
In this paper, we study the problem of performance-driven multi-level circuit clustering with application to hierarchical FPGA designs. We first show that the performance-driven m...
116
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
119
click to vote
CONEXT
2005
ACM
15 years 3 months ago
2005
ACM
The high bandwidth and low latency of the modern internet has made possible the deployment of distributed computing platforms. The XenoServer platform provides a distributed compu...
119
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...