548 search results - page 76 / 110 » Adding Real Time to Formal Program Development |
150
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...
185
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
172
click to vote
TEC
2002
15 years 5 months ago
2002
A novel approach to hardware fault tolerance is demonstrated that takes inspiration from the human immune system as a method of fault detection. The human immune system is a remark...
167
click to vote
DFT
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present a memory fault simulator called the Random Access Memory Simulator for Error Screening (RAMSES). Although it was designed based on some wellknown memory ...
205
click to vote
HASKELL
2009
ACM
16 years 13 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...