 [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 |
| [5-12]Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models
|
2011-05-05 |
| [5-11]Probabilistic Model Checking for Markov chains & Solving ODEs
|
2011-05-04 |
| [5-10]Policies for Security
|
2011-05-05 |
| [4-29]Relational Reasoning about Concurrent Program Transformation
|
2011-04-22 |
