Sciweavers

MST
2016
89views Hardware» more  MST 2016»
10 years 25 days ago
Min-Sum 2-Paths Problems
An orientation of an undirected graph G is a directed graph obtained by replacing each edge {u, v} of G by exactly one of the arcs (u, v) or (v, u). In the min-sum k-paths orienta...
Trevor I. Fenner, Oded Lachish, Alexandru Popa
MST
2016
73views Hardware» more  MST 2016»
10 years 25 days ago
Reducibilities Relating to Schnorr Randomness
Abstract Some measures of randomness have been introduced for MartinL¨of randomness such as K-reducibility, C-reducibility and vL-reducibility. In this paper we study Schnorr-rand...
Kenshi Miyabe
MSCS
2016
95views Robotics» more  MSCS 2016»
10 years 25 days ago
Fair subtyping for multi-party session types
The standard subtyping relation used in dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for mul...
Luca Padovani
MSCS
2016
69views Robotics» more  MSCS 2016»
10 years 25 days ago
Global progress for dynamically interleaved multiparty sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuk...
MR
2016
67views Robotics» more  MR 2016»
10 years 25 days ago
Resilient routing implementation in 2D mesh NoC
Rimpy Bishnoi, Vijay Laxmi, Manoj Singh Gaur, Mark...
MR
2016
82views Robotics» more  MR 2016»
10 years 25 days ago
Design, evaluation and fault-tolerance analysis of stochastic FIR filters
— Stochastic computing utilizes compact arithmetic circuits that can potentially lower the implementation cost in silicon area. In addition, stochastic computing provides inheren...
Ran Wang, Jie Han, Bruce F. Cockburn, Duncan G. El...
MPC
2016
Springer
69views Mathematics» more  MPC 2016»
10 years 25 days ago
Improving branch-and-cut performance by random sampling
We discuss the variability in the performance of multiple runs of branch-and-cut Mixed Integer Linear Programming solvers, and we concentrate on the one deriving from the use of di...
Matteo Fischetti, Andrea Lodi, Michele Monaci, Dom...
MPC
2016
Springer
76views Mathematics» more  MPC 2016»
10 years 25 days ago
Large-scale optimization with the primal-dual column generation method
The primal-dual column generation method (PDCGM) is a general-purpose column generation technique that relies on the primal-dual interior point method to solve the restricted mast...
Jacek Gondzio, Pablo González-Brevis, Pedro...
MP
2016
10 years 25 days ago
The continuous knapsack set
We study the convex hull of the continuous knapsack set which consists of a single inequality constraint with n non-negative integer and m non-negative bounded continuous variable...
Sanjeeb Dash, Oktay Günlük, Laurence A. ...