 [11-19]Three lectures on multi-language information processing
|
2013-11-15 |
| [11-19]Efficient Detection of Emergency Event from Moving Object Data Streams
|
2013-11-14 |
| [11-18]Modular Construction of Shape-Numeric Analyzers
|
2013-11-11 |
| [11-6]MPI on Exascale Systems: Current Trends and Opportunities
|
2013-11-01 |
| [11-1] The Role of Empirical Studies in Software Engineering
|
2013-10-24 |
| [10-28]The Parameterized Complexity of Counting k-Matchings
|
2013-10-24 |
| [10-17]Bounded Model Checking with SAT/SMT
|
2013-10-11 |
| [10-16]Automatic Generation of Program Invariants from Traces
|
2013-10-15 |
| [10-16]Symbolic Model Checking with Ordered Binary Decision Diagrams
|
2013-10-11 |
| [10-15]Model Checking and the Curse of Dimensionality
|
2013-10-11 |
| [9-11]Automatic Testing-Based Formal Verification: Bridging Testing and Formal Verification for Program Correctness
|
2013-09-09 |
| [8-30]Mu and mu tilde: two useful combinators
|
2013-08-29 |
| [8-30]On Two Challenging Problems in Statistical Debugging
|
2013-08-21 |
| [8-22]Mathematics and Physics Foundation for Digital Medicine in Virtual Environments
|
2013-08-22 |
| [8-20] Text entry methods for touch screen and pen-based devices
|
2013-08-19 |
