Skip to main content

9 Result(s)

within Conference Paper Remove this filter Stephen A. Edwards Remove this filter Computer Science Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    VIS

    Robert K. Brayton, Gary D. Hachtel… in Formal Methods in Computer-Aided Design (1996)

  2. No Access

    Chapter and Conference Paper

    Approximate Reachability for Dead Code Elimination in Esterel ⋆ 

    Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel ⋆  extends Esterel with a non-instantaneous jump instruction (compatible with concurrency, preemption, etc.) s...

    Olivier Tardieu, Stephen A. Edwards in Automated Technology for Verification and Analysis (2005)

  3. Chapter and Conference Paper

    Incremental Algorithms for Inter-procedural Analysis of Safety Properties

    Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in the code, which can result in mu...

    Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams… in Computer Aided Verification (2005)

    Download PDF (206 KB)

  4. No Access

    Chapter and Conference Paper

    Separate Compilation for Synchronous Modules

    Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such models usually require an entire system ...

    Jia Zeng, Stephen A. Edwards in Embedded Software and Systems (2005)

  5. No Access

    Chapter and Conference Paper

    A Processor Extension for Cycle-Accurate Real-Time Software

    Certain hard real-time tasks demand precise timing of events, but the usual software solution of periodic interrupts driving a scheduler only provides precision in the millisecond range. NOP-insertion can prov...

    Nicholas Jun Hao Ip, Stephen A. Edwards in Embedded and Ubiquitous Computing (2006)

  6. Chapter and Conference Paper

    Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

    Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the programmer from reaso...

    Nalini Vasudevan, Olivier Tardieu, Julian Dolby… in Compiler Construction (2009)

    Download PDF (271 KB)

  7. Chapter and Conference Paper

    Concurrency and Communication: Lessons from the SHIM Project

    Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo** a programming language for hardware/s...

    Stephen A. Edwards in Software Technologies for Embedded and Ubiquitous Systems (2009)

    Download PDF (200 KB)

  8. No Access

    Chapter and Conference Paper

    Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks

    The world needs special-purpose accelerators to meet future constraints on computation and power consumption. Choosing appropriate accelerator architectures is a key challenge. In this work, we present a pinto...

    Martha A. Kim, Stephen A. Edwards in Computer Architecture (2012)

  9. No Access

    Chapter and Conference Paper

    Further Experiences Teaching an FPGA-Based Embedded Systems Class

    I describe thirteen years of teaching an embedded systems class at Columbia University that spans three “board eras.” Students now develop Linux systems with custom FPGA-based peripherals.

    Stephen A. Edwards in Cyber Physical Systems. Model-Based Design (2019)