4516 search results - page 446 / 904 » Automated System Design for Availability |
239
click to vote
TASE
2008
IEEE
15 years 6 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...
220
click to vote
JSSPP
2007
Springer
16 years 1 months ago
2007
Springer
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...
221
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Interconnects have been shown to be a dominant source of energy consumption in modern day System-on-Chip (SoC) designs. With a large (and growing) number of electronic systems bei...
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
201
click to vote
TSMC
2010
15 years 1 months ago
2010
There exists a widely recognized need to better understand and manage complex "systems of systems," ranging from biology, ecology, and medicine to network-centric technol...