Sciweavers

4190 search results - page 349 / 838
» Type Class Directives
Sort
View
JGAA
2006
127views more  JGAA 2006»
15 years 5 months ago
A New Algorithm for Finding Minimal Cycle-Breaking Sets of Turns in a Graph
We consider the problem of constructing a minimal cycle-breaking set of turns for a given undirected graph. This problem is important for deadlock-free wormhole routing in compute...
Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa,...
JOT
2007
138views more  JOT 2007»
15 years 5 months ago
Flexible Language Interoperability
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
Torbjörn Ekman, Peter Mechlenborg, Ulrik Pagh...
CN
2002
98views more  CN 2002»
15 years 4 months ago
Modeling random early detection in a differentiated services network
An analytical framework for modeling a network of Random Early Detection (RED) queues with mixed traffic types (e.g. TCP and UDP) is developed. Expressions for the steady state go...
Alhussein A. Abouzeid, Sumit Roy
ML
2007
ACM
101views Machine Learning» more  ML 2007»
15 years 4 months ago
A persistent union-find data structure
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
Sylvain Conchon, Jean-Christophe Filliâtre
IJFCS
2010
60views more  IJFCS 2010»
15 years 3 months ago
Properties of Quasi-Relabeling Tree Bimorphisms
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is dened by a tree bimorphism (...
Andreas Maletti, Catalin Ionut Tîrnauca