203
click to vote
APAL
10 years 26 days ago
2016 
Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard which aims at defining a semantics of linear logic proofs accounting for the dynamical aspects o...
195
click to vote
TCOM
10 years 14 days ago
2016
—In this paper, a downlink single-cell non-orthogonal multiple access (NOMA) network with uniformly deployed users is considered and an analytical framework to evaluate its perfo...
224
click to vote
PEPM
10 years 16 days ago
2016 ACM 
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
184
click to vote
CGO
10 years 25 days ago
2016 IEEE
A broad class of applications involve indirect or datadependent memory accesses and are referred to as irregular applications. Recent developments in SIMD architectures – speci...
190
click to vote
INFORMATICALT
10 years 20 days ago
2016
Abstract. The nonlinear stochastic programming problem involving CVaR in the objective and constraints is considered. Solving the latter problem in a framework of bi-level stochast...
|
Software Engineering