ACSC
2016
IEEE
8 years 23 days ago
2016
IEEE
Abstract. Underlying symmetries in constraint satisfaction and optimization problems can make the search for solutions or optimal solutions much harder. In contrast, when symmetrie...
DLT
2013
8 years 11 months ago
2013
We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties si...
COMPLEX
2013
Springer
8 years 11 months ago
2013
Springer
Companies, industries, and nations often consume resources supplied by unstable producers. Perturbations that affect the supplier propagate downstream to create volatility in resou...
ACMSE
2013
ACM
8 years 11 months ago
2013
ACM
Researchers have recently defined and presented the theoretical concepts and an algorithm necessary for mining so-called probabilistic frequent itemsets in uncertain databases—...
DIMACS
2013
9 years 11 months ago
2013
Abstract. We present an overview over our graph partitioners KaFFPa (Karlsruhe Fast Flow Partitioner) and KaFFPaE (KaFFPa Evolutionary). KaFFPa is a multilevel graph partitioning a...
ACSC
2014
IEEE
9 years 11 months ago
2014
IEEE
The mixed database workloads generated by enterprise applications can be categorized into shortrunning transactional as well as long-running analytical queries with resource-inten...
SPIN
2012
Springer
11 years 6 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
SPIN
2012
Springer
11 years 6 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
SPIN
2012
Springer
11 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
TCS
2012
11 years 12 months ago
2012
In Sensor Networks, the lack of topology information and the availability of only one communication channel has led research work to the use of randomization to deal with collisio...