JLP
2016
9 years 11 months ago
2016
Many software systems today are configurable. Analyzing configurable systems is challenging, especially as (1) the number of system variants may grow exponentially with the numb...
JLMS
2016
9 years 11 months ago
2016
Abstract. The set of primitive vectors on large spheres in the euclidean space of dimension d ≥ 3 equidistribute when projected on the unit sphere. We consider here a refinement...
JLMS
2016
9 years 11 months ago
2016
Let Γ be a nonelementary discrete subgroup of SU(n, 1) or Sp(n, 1). We show that if the trace field of Γ is contained in R, Γ preserves a totally geodesic submanifold of consta...
JITS
2016
9 years 11 months ago
2016
Given the current connected vehicles program in the United States, as well as other similar initiatives in vehicular networking, it is highly likely that vehicles will soon wirele...
23
Voted
JIRS
2016
9 years 11 months ago
2016
28
Voted
JIRS
2016
9 years 11 months ago
2016
— The automatic part feeding is one of the most crucial task in modern assembly lines. Such a task consists in the separation of parts delivered in bulk and their presentation in...
28
Voted
JIRS
2016
9 years 11 months ago
2016
—We study the problem of optimally coordinating multiple fixed-wing UAVs to perform vision-based target tracking, which entails that the UAVs are tasked with gathering the best ...
39
Voted
JIRS
2016
9 years 11 months ago
2016
End-of-life disassembly has developed into a major research area within the sustainability paradigm, resulting in the emergence of several algorithms and structures proposing heuri...
JIP
2016
9 years 11 months ago
2016
: We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic v...
JIM
2016
9 years 11 months ago
2016