 [5-14]Interaction-Based Concurrency
|
2012-05-10 |
| [5-11]Controllers with Minimal Observation Power (Application to Timed Systems)
|
2012-05-08 |
| [5-10]Commutative Data Automata
|
2012-04-19 |
| [4-20]Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding
|
2012-04-18 |
| [4-12]Information Visualization and Its Applications to Analytics Systems
|
2012-04-06 |
| [3-8]Width-parameterized SAT: time-space tradeoffs
|
2012-02-28 |
| [1-11]Multiparty session types and Multiparty Session Automata
|
2012-01-10 |
| [1-5]Dynamic Quality-aware Configuration and Optimization of Service Monitoring Systems
|
2012-01-04 |
| [2012-1-5] Degrees of non- determinacy of computable games and linear logic
|
2011-12-29 |
| CALL FOR PAPERS ----- The 8th IEEE eScience conference 2012
|
2011-12-16 |
| CALL FOR PAPERS ----- ASHES 2012
|
2011-12-16 |
| CALL FOR PAPERS ----- HP-PAC 2012
|
2011-12-16 |
| [12-20]Redundant Synchronization Event Removal for Data Race Detection
|
2011-12-15 |
| CALL FOR PAPERS ----- SEES 2012
|
2011-12-15 |
| [12-15]Fault Localization Inspired by the PIE Model (in Chinese)
|
2011-12-13 |
