856 search results - page 109 / 172 » Dependent Types in Practical Programming |
ARC
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the t...
EOR
2002
13 years 8 months ago
2002
The assignment of alternatives (observations/objects) into predefined homogenous groups is a problem of major practical and research interest. This type of problem is referred to ...
ISMIS
2009
Springer
14 years 3 months ago
2009
Springer
Static and transportation facility location allocation problem is a new problem in facility location research. It aims to find out optimal locations of static and transportation fa...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...