 [5-31]Scalable Symbolic Execution
|
2013-05-27 |
| [5-20]Automata for counting data, and some logic
|
2013-05-13 |
| [5-17]Develop Fine-Grained Access Control Systems for Smartphones
|
2013-05-17 |
| [5-16]High-Level Parallel Programming with Parallel Skeletons in Haskell
|
2013-05-10 |
| [5-10]Making Software Reliable in the Multicore Era
|
2013-04-24 |
| [5-9]Detection and Tracking of Dynamic Amorphous Events in Wireless Sensor Networks
|
2013-05-06 |
| [4-26]Reasoning about State Invariants and Constraints in Artificial Intelligence
|
2013-04-22 |
| [4-25]A Controlled Experiment on Software Documentation Benefits and Cost
|
2013-04-24 |
| [4-19] Turing's Computable Real Numbers and Why They Are Still Important Today
|
2013-04-15 |
| [4-18]Document and model annotation: a formal view and a system for Web annotation
|
2013-04-16 |
| [3-17]Randomized Postoptimization of Covering Arrays
|
2013-03-16 |
| [3-7]Provably correct conflict prevention bands algorithms
|
2013-03-01 |
| [1-23]Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
|
2013-01-16 |
| [1-15]Effective Methods for Concurrent Program Debugging
|
2013-01-14 |
| [1-14]Towards Efficient Search for Activity Trajectories
|
2013-01-11 |
