Back to Results
First PageMeta Content
Concurrency control / Subroutines / X86 instructions / Digital electronics / Interrupt handler / Interrupt latency / Reentrancy / Interrupt / Scheduling / Computer architecture / Interrupts / Computing


Thread Verification vs. Interrupt Verification John Regehr School of Computing University of Utah ABSTRACT
Add to Reading List

Document Date: 2006-09-01 15:45:37


Open Document

File Size: 79,55 KB

Share Result on Facebook

City

San Francisco / Cancun / Philadelphia / Leuven / Portland / Toronto / Lisbon / San Diego / Chicago / /

Company

Gartner / Atmel Inc. / Embedded Software / Embedded Systems / Microsoft Press / IEEE Journal / TimeSys Corporation / Crossbow Technology Inc. / /

Country

Mexico / Belgium / Canada / Portugal / /

Facility

Computing University of Utah ABSTRACT Interrupts / /

IndustryTerm

distributed multimedia applications / interrupt-driven software / source-to-source transformation tool / thread verification tools / Software verification / thread checking tool / interrupt-driven systems / concurrent software / interrupt-driven applications / source-to-source translation tool / generalpurpose operating systems / interruptdriven systems / real-time systems / safetycritical applications / good thread verification tools / thread-checking tool / verification tool / /

NaturalFeature

Ted Hills / /

OperatingSystem

TinyOS / Linux / Solaris / Nemesis / Microsoft Windows / GNU / Microsoft Windows 2000 / POSIX / /

Organization

Computing University of Utah ABSTRACT Interrupts / /

Person

Abdullah Ustuner / Eoin Hyden / Michael Parker / Thomas A. Henzinger / Niels Damgaard / Matt Welsh / Richard Black / Georg Jung / John Regehr / Bohus Ondrusek / Ian Leslie / Jakob Lichtenberg / Timothy Roscoe / Vladimir Levin / Matthew B. Dwyer / Byron Cook / Kirk Webb / David A. Solomon / Gregoire Sutre / Sriram K. Rajamani / Michael D. Jones / Alastair Reid / Usit Duongsaa / Jens Palsberg / Robert von Behren / David Culler / Addison Wesley / Ken Ashcraft / Paul Barham / John Hatcliff / David Evers / Xinghua Deng / Mark E. Russinovich / Jay Lepreau / Thomas Ball / Ella Bounimova / Rupak Majumdar / David Gay / Venkatesh Prasad Ranganath / Tian Zhao / Dennis Brylow / Ranjit Jhala / Joe Eykholt / Steve Kleiman / Phil Levis / Con McGarvey / Robin Fairbairns / Luis E. Leyva del Foyo / Derek McAuley / Dawson Engler / Pedro Mejia-Alvarez / Larry Barello / /

Position

acrobat / Major / scheduler / controller / /

Product

Windows 2000 / Linux / ATmega128 / Atmel ATmega128 / /

ProvinceOrState

Illinois / Oregon / Pennsylvania / California / /

Technology

analog to digital converter / RAM / ADC / Linux / operating system / operating systems / /

URL

http /

SocialTag