Sciweavers

186
Voted
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...
180
Voted
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 ...