4516 search results - page 192 / 904 » Automated System Design for Availability |
115
click to vote
ISSS
1995
IEEE
15 years 8 months ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
122
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
111
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
128
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
110
click to vote
FUIN
2007
15 years 4 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...