University of Pennsylvania
CIS 640 — Advanced Topics in Software Systems
14 documents • ranked by quality and engagement.
No description provided
Reliability of Software
CIS 640 · University of Pennsylvania
Multiprocessor Programming Art
CIS 640 · University of Pennsylvania
Visual Formalism for T-Cell Activation Modeling
CIS 640 · University of Pennsylvania
Code Size Minimization in Embedded Design
CIS 640 · University of Pennsylvania
CTL Model Checking
CIS 640 · University of Pennsylvania
Hybrid Systems Modeling
CIS 640 · University of Pennsylvania
ETI Overview
CIS 640 · University of Pennsylvania
Real-Time Scheduling Intro
CIS 640 · University of Pennsylvania
Solvers for Boolean Satisfiability
CIS 640 · University of Pennsylvania
Software Validation via Model-Based Techniques
CIS 640 · University of Pennsylvania
Oxygen and Smart Space
CIS 640 · University of Pennsylvania
Embedded Systems and Reliability Methods
CIS 640 · University of Pennsylvania
Counterexamples and Witnesses
CIS 640 · University of Pennsylvania
Steering, Checking, and Monitoring
CIS 640 · University of Pennsylvania