Search Sciweavers | Sciweavers

6701 search results - page 276 / 1341

» Medical Embedded Systems

127

click to vote

ASPLOS
2006
ACM

106views Programming Languages» more ASPLOS 2006»

Atomicity and visibility in tiny embedded systems

16 years 19 days ago

Download www.cs.utah.edu

Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...

John Regehr, Nathan Cooprider, David Gay

claim paper

Read More »

127

click to vote

SENSYS
2006
ACM

104views Sensor Networks» more SENSYS 2006»

Abstractions for safe concurrent programming in networked embedded systems

16 years 18 days ago

Download selab.csuohio.edu

William P. McCartney, Nigamanth Sridhar

claim paper

Read More »

172

click to vote

APSEC
2005
IEEE

122views Software Engineering» more APSEC 2005»

Integrating Safety and Security Requirements into Design of an Embedded System

16 years 8 days ago

Download www.behaviorengineering.org

Saad Zafar, R. Geoff Dromey

claim paper

Read More »

146

click to vote

DATE
2005
IEEE

99views Hardware» more DATE 2005»

Verification of Embedded Memory Systems using Efficient Memory Modeling

16 years 8 days ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

click to vote

DATE
2005
IEEE

110views Hardware» more DATE 2005»

Embedded Automotive System Development Process

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers