2500 search results - page 301 / 500 » Specifying Behavior in C |
146
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
114
Voted
VR
2008
IEEE
15 years 10 months ago
2008
IEEE
The destructive capacity of wildfires and the dangers and limitations associated with observing actual wildfires has led researchers to develop mathematical models in order to b...
107
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
142
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
166
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...