 [5-12]Is Your Storage System Reliable?
|
2015-05-08 |
| [5-8]Sequential algorithms (old and new)
|
2015-05-06 |
| [5-8]A Synergistic Analysis Method for Explaining Failed Regression Tests
|
2015-04-22 |
| [4-22]Why Formal Modeling Language Semantics Matters
|
2015-04-10 |
| [4-13]Approximating Labelled Markov Again!
|
2015-04-07 |
| [2015-4-7]Big Data as a Powerful Source of Randomness
|
2015-04-02 |
| [12-17]Cloud Computing, Big Data and Scalable Privacy Preservation
|
2014-12-16 |
| [12-12]Communicating Transactions (a Survey)
|
2014-12-09 |
| [12-8]Fast Sheet-defined Functions in Spreadsheets
|
2014-12-03 |
| [12-2]Abstraction-based Computation of Reward Measures for Markov Automata
|
2014-12-01 |
| [11-27]Quantum Simulation: Challenges and Opportunities
|
2014-11-25 |
| [11-6]Efficient Data Structures and Sorting Algorithms for Bisimulation
|
2014-11-03 |
| [10-28]Full Abstraction for a Probabilistic Functional Programming Language
|
2014-10-24 |
| [9-12]INTrEPID: A project on energy optimization in buildings
|
2014-09-05 |
| [9-9]A Safety-Critical Java Technology Compatibility Kit
|
2014-09-05 |
