10048 search results - page 149 / 2010 » The Structure and Performance of Interpreters |
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
123
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
174
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
150
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
149
click to vote
TSP
2008
15 years 4 months ago
2008
In this paper, we consider an uplink multiple-antenna Code-Division Multiple-Access (CDMA) system linking several multiple-antenna mobile users to one multiple-antenna base-statio...