The following pages link to Robert de Simone (Q272774):
Displayed 15 items.
- Explicit routing schemes for implementation of cellular automata on processor arrays (Q272775) (← links)
- On Meije and SCCS: Infinite sum operators vs. non-guarded definitions (Q789888) (← links)
- (Q1061495) (redirect page) (← links)
- Langages infinitaires et produit de mixage (Q1061496) (← links)
- Higher-level synchronising devices in Meije-SCCS (Q1079949) (← links)
- Divergence detection for CCSL specification via clock causality chain (Q1660763) (← links)
- Periodic scheduling of marked graphs using balanced binary words (Q1758156) (← links)
- From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations (Q2895778) (← links)
- On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling (Q2945589) (← links)
- (Q3735084) (← links)
- (Q3745292) (← links)
- (Q4037120) (← links)
- (Q4813394) (← links)
- Instant-Based and State-Based Analysis of Infinite Logical Clock (Q4989017) (← links)
- Computer Aided Verification (Q5716561) (← links)