 [10-12]Real Time Edit Propagation by Efficient Sampling
|
2011-10-09 |
| CALL FOR PAPERS----The Second International Workshop on Accelerators and Hybrid Exascale Systems (ASHES 2012)
|
2011-09-20 |
| CALL FOR PAPERS--Eighth IEEE Workshop on High-Performance, Power-Aware Computing (HP-PAC)
|
2011-09-20 |
| [9-1]Security and privacy implications of the multi-component nature of Software-as-a-Service
|
2011-08-30 |
| [8-31]On building effective software system using component-based software technology
|
2011-08-23 |
| [8-22]Transparent Virtualization of Graphics Processing Units
|
2011-08-19 |
| [7-27]Model-Checking Algorithms for CTMDPS
|
2011-07-25 |
| [7-27]Towards a Coalgebraic Interpretation of Propositional Dynamic Logic
|
2011-07-21 |
| [5-26]Real-Time Scheduling for Wireless Control Networks: a WirelessHART Case Study
|
2011-05-24 |
| [5-26]Specification in PDL with Recursion
|
2011-05-19 |
| [5-25]What is New in PETSc?
|
2011-05-19 |
| [5-24]A journey into the semantics of programming languages
|
2011-05-19 |
| [5-19]Analyzing Semilinear and Upward-closed Sets of Petri Nets
|
2011-05-17 |
| [5-17]Optimization methods in software project planning and project management
|
2011-05-13 |
| [5-12]Optimization methods in software project planning and project management
|
2011-05-10 |
