 [8-8]Bisimulations Meet PCTL Equivalences for Probabilistic Automata
|
2012-08-06 |
| [7-26]Decimals of Pi: An example in verified programming about mathematics
|
2012-07-24 |
| [7-16]Automated N-Tier System Management through Experimental Measurements
|
2012-07-13 |
| [7-3]Modularity in Design: on the Synergy of SoftwareArchitecture, Evolution and Collaboration
|
2012-06-26 |
| [6-29]Hunting Bugs in General-Purpose and High-Performance Systems
|
2012-06-26 |
| [6-15]Languages in Racket
|
2012-06-12 |
| [6-15]Patching vulnerabilities with sanitization synthesis
|
2012-06-12 |
| [6-15]Symbolic Consistency Checking of OpenMP Parallel Programs
|
2012-06-12 |
| [6-14]Applications of Context-Sensitive Program Analysis and Verification Techniques
|
2012-06-08 |
| [6-14]Context-sensitive models for multi-thread programs
|
2012-06-08 |
| [6-14]Trace Driven Approach for Testing and Debugging Concurrent Programs
|
2012-05-24 |
| [6-11 Profit Maximization in Cloud Computing
|
2012-06-04 |
| [5-24]Perceptual and Embodied Interfaces on Mobile Devices
|
2012-06-08 |
| [5-24]Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems
|
2012-05-14 |
| [5-18]Slow Intelligence Systems - A New Approach for Component-based Software Engineering
|
2012-05-16 |
