2918 search results - page 555 / 584 » Design tools for reliability analysis |
118
click to vote
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
JIRS
1998
14 years 9 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
CCS
2010
ACM
14 years 6 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
105
click to vote
VIS
2006
IEEE
2006
IEEE
Hub-based Simulation and Graphics Hardware Accelerated Visualization for Nanotechnology Applications
15 years 11 months ago
The Network for Computational Nanotechnology (NCN) has developed a science gateway at nanoHUB.org for nanotechnology education and research. Remote users can browse through online...
112
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...