581 search results - page 13 / 117 » Systematic Implementation of Real-Time Models |
155
click to vote
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
149
click to vote
CGI
2006
IEEE
15 years 11 months ago
2006
IEEE
Although lots of works have been engaged in interactive and realistic rendering of translucent materials, efficient processing for deformable models remains a challenging problem...
155
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
162
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
140
Voted
IWANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...