 [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 |
| [2013-1-5]Informed Local Managers and Global Financial Crises
|
2013-01-04 |
| [12-27]MadLINQ: large-scale distributed matrix computation for the cloud
|
2012-12-21 |
| [12-20]Foreseeing the Unseen: Probability Estimation over Large Alphabets
|
2012-12-18 |
| [12-10]A Role for Mereology in Domain Science and Engineering
|
2012-11-06 |
