Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Publication Date
    • Author
    • Title
    • Subject
    • Department
  • Sign on to:
    • My MacSphere
    • Receive email
      updates
    • Edit Profile


McMaster University Home Page
  1. MacSphere

Browsing by Author Lawford, Mark

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Showing results 14 to 33 of 40 < previous   next >
Publication DateTitleAuthor(s)
2018High-Fidelity Simulation Model of a Dual FIFO CAN StackQian, Zhizhao
Nov-2015Higher-Fidelity Modelling and Simulation of the CAN Protocol StackWhinton, Grant
12-Apr-2011Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy EnvironmentIqbal, Asif
Jun-2015Implementability of Requirements for Safety-Critical Embedded SystemsPatcas, Lucian
Dec-2005Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model CheckingPantelic, Vera
2020Intersection Simulation and Path EstimationMilo, Curtis
2020Making Simulink Models Robust with Respect to ChangeJaskolka, Monika
Jun-2015A Methodology for the Simplification of Tabular Designs in Model-Based DevelopmentBialy, Monika
2020A Model-Based Approach to Formal Assurance CasesAnnable, Nicholas
22-Dec-2004Model-Based Visual Tracking via Maple Code GenerationKorobkine, Alexandre O.
2021Performance Impact on Neural Network with Partitioned Convolution Implemented with GPU ProgrammingLee, Bill
19-Dec-2005Predictable Run Time SchedulingTorenvliet, Nick
Apr-2011Probabilistic Supervisory Control of Probabilistic Discrete Event SystemsPantelic, Vera
Aug-2008Proving Implementability of Timing Properties with TolerancesHu, Xiayong
2019Safe-AV: A Fault Tolerant Safety Architecture for Autonomous VehiclesShah, Syed Asim
2019Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous VehiclesDeevy, Spencer
Oct-2013Single Event Upset error detection on routing tracks of Xilinx FPGAsTaj, Billy
2021SL2SF: Refactoring Simulink to StateflowWynn-Williams, Stephen
2024State Machine Learning in the Middle of EverythingLesiuta, Eric
Sep-2006Symbolic Timing Analysis of Real-Time SystemsPavlidis, Mark H.
Showing results 14 to 33 of 40 < previous   next >
Sherman Centre for Digital Scholarship     McMaster University Libraries
©2022 McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4L8 | 905-525-9140 | Contact Us | Terms of Use & Privacy Policy | Feedback

Report Accessibility Issue