Sciweavers

678 search results - page 34 / 136
» A Universal Framework for Self-Replication
Sort
View
ICC
2007
IEEE
15 years 4 months ago
Unifying Characterization of Max-Min Fairness in Wireless Networks by Graphs
— We propose a unifying framework for max-min fairness in orthogonal networks and networks with interference. First, a universal formulation of the max-min fairness problem for o...
Marcin Wiczanowski, Holger Boche, Slawomir Stancza...
EUROCAST
2007
Springer
126views Hardware» more  EUROCAST 2007»
15 years 3 months ago
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows
Abstract. In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with soft Time Windows...
Andreas Beham
64
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki
SFP
2003
14 years 11 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
CSL
2010
Springer
14 years 10 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano