-
Content-Based Textual File Type Detection at Scale
Programming language detection is a common need in the analysis of large...
01/21/2021 ∙ by Francesca Del Bonifro, et al. ∙
7
∙
share
read it
-
sunny-as2: Enhancing SUNNY for Algorithm Selection
SUNNY is an Algorithm Selection (AS) technique originally tailored for C...
09/07/2020 ∙ by Tong Liu, et al. ∙
11
∙
share
read it
-
No more, no less - A formal model for serverless computing
Serverless computing, also known as Functions-as-a-Service, is a recent ...
03/19/2019 ∙ by Maurizio Gabbrielli, et al. ∙
0
∙
share
read it
-
Constraint programming for flexible Service Function Chaining deployment
Network Function Virtualization (NFV) and Software Defined Networking (S...
12/13/2018 ∙ by Tong Liu, et al. ∙
0
∙
share
read it
-
SUNNY-CP and the MiniZinc Challenge
In Constraint Programming (CP) a portfolio solver combines a variety of ...
06/26/2017 ∙ by Roberto Amadini, et al. ∙
0
∙
share
read it
-
A Multicore Tool for Constraint Solving
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (C...
02/13/2015 ∙ by Roberto Amadini, et al. ∙
0
∙
share
read it
-
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
We propose a timed and soft extension of Concurrent Constraint Programmi...
02/24/2014 ∙ by Stefano Bistarelli, et al. ∙
0
∙
share
read it
-
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
Recent research has shown that a single arbitrarily efficient solver can...
08/01/2013 ∙ by Roberto Amadini, et al. ∙
0
∙
share
read it
-
An Empirical Evaluation of Portfolios Approaches for solving CSPs
Recent research in areas such as SAT solving and Integer Linear Programm...
12/04/2012 ∙ by Roberto Amadini, et al. ∙
0
∙
share
read it
