Sciweavers

CONSTRAINTS
2016
92views more  CONSTRAINTS 2016»
10 years 1 months ago
Fast, flexible MUS enumeration
Mark H. Liffiton, Alessandro Previti, Ammar Malik,...
CONSTRAINTS
2016
105views more  CONSTRAINTS 2016»
10 years 1 months ago
Projection, consistency, and George Boole
Although best known for his work in symbolic logic, George Boole made seminal contributions in the logic of probabilities. He solved the probabilistic inference problem with a proj...
John N. Hooker
CONSTRAINTS
2016
122views more  CONSTRAINTS 2016»
10 years 1 months ago
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Abstract Petri nets are a simple formalism for modeling concurrent computation. They are also an interesting tool for modeling and analysing biochemical reaction systems, bridging ...
Faten Nabli, Thierry Martinez, François Fag...
CONCURRENCY
2016
62views more  CONCURRENCY 2016»
10 years 1 months ago
Vectorizing unstructured mesh computations for many-core architectures
Achieving optimal performance on the latest multi-core and many-core architectures depends more and more on making efficient use of the hardware’s vector processing capabilities...
I. Z. Reguly, Endre László, Gihan R....
COMSUR
2016
45views more  COMSUR 2016»
10 years 1 months ago
A Survey on Information Visualization for Network and Service Management
—Network and service management encompasses a set of activities, methods, procedures, and tools whose ultimate goal is to guarantee the proper functioning of a networked system. ...
Vinicius Tavares Guimaraes, Carla Maria Dal Sasso ...
COMSUR
2016
62views more  COMSUR 2016»
10 years 1 months ago
Network Function Virtualization: State-of-the-Art and Research Challenges
—Network function virtualization (NFV) has drawn significant attention from both industry and academia as an important shift in telecommunication service provisioning. By decoup...
Rashid Mijumbi, Joan Serrat, Juan-Luis Gorricho, N...
COMSUR
2016
58views more  COMSUR 2016»
10 years 1 months ago
Control-Data Separation Architecture for Cellular Radio Access Networks: A Survey and Outlook
—Conventional cellular systems are designed to ensure ubiquitous coverage with an always present wireless channel irrespective of the spatial and temporal demand of service. This...
Abdelrahim Mohamed, Oluwakayode Onireti, Muhammad ...
COMSUR
2016
46views more  COMSUR 2016»
10 years 1 months ago
A Survey of Fingerprint-Based Outdoor Localization
—A growing number of sensors on smart mobile devices has led to rapid development of various mobile applications using location-based or context-aware services. Typically, outdoo...
Quoc Duy Vo, Pradipta De
COMSUR
2016
59views more  COMSUR 2016»
10 years 1 months ago
A Quantitative Survey of the Power Saving Potential in IP-Over-WDM Backbone Networks
Abstract—The power consumption in Information and Communication Technologies (ICT) networks is growing year by year; this growth presents challenges from a technical, economic an...
Ward Van Heddeghem, Bart Lannoo, Didier Colle, Mar...
COMSUR
2016
61views more  COMSUR 2016»
10 years 1 months ago
Wi-Fi Fingerprint-Based Indoor Positioning: Recent Advances and Comparisons
Abstract—The growing commercial interest in indoor locationbased services (ILBS) has spurred recent development of many indoor positioning techniques. Due to the absence of globa...
Suining He, S.-H. Gary Chan