1321 search results - page 132 / 265 » Logic Simulation Using Networks of State Machines |
125
click to vote
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
HPDC
1993
IEEE
15 years 2 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— This work proposes the Wireless-mesh-network Proactive Routing (WPR) protocol for wireless mesh networks. Unlike current routing protocols, such as the Optimized LinkState Rout...
119
click to vote
RV
2010
Springer
14 years 7 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
Programmable routing and logic in field-programmable gate arrays are implemented using nMOS pass transistors. Since the threshold voltage drop across an nMOS device degrades the ...