 [7-14]Lagrangian remote e-voting
|
2009-07-13 |
| [7-3]Cubature Formulas with Few Knots
|
2009-07-02 |
| [7-3]Cache-Aware Scheduling and Analysis for Multicores
|
2009-07-02 |
| [6-26]Automated Developer Testing: Achievements and Challenges
|
2009-06-23 |
| [6-25]Theoretical and Empirical Foundations of Software Engineering
|
2009-06-21 |
| [6-17]The Future of Computer Science
|
2009-06-08 |
| [6-16]Introducting SMT with parametric theories and the Decision Procedure Toolkit
|
2009-06-14 |
| [6-16]Large Scale Simulation and Ordering for Parallel Sparse Matrix Computation
|
2009-06-14 |
| The 2nd ISCAS/USC/UMass Joint Workshop on Trustworthy Software Systems
|
2009-05-30 |
| [5-26]On the Correctness of Programming Languages
|
2009-05-24 |
| [5-22]Modeling and Implementation of Moving Objects Databases
|
2009-05-17 |
| [5-21]On Parameter Choices for Gurususami-Sudan Algorithm
|
2009-05-17 |
| [5-11]A resource-aware picalculus
|
2009-05-04 |
| [4-23]Two Seminars on Thursday from AIST
|
2009-04-19 |
| [4-20]Modular Concurrency Verification
|
2009-04-19 |
