26151 search results - page 222 / 5231 » Parameterized system design |
174
click to vote
SAINT
2002
IEEE
15 years 11 months ago
2002
IEEE
From a stand point of server operation, performance measurement of the server is important. One of the major parts of the measurement is kernel monitoring, and most server adminis...
166
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
168
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
154
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
158
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...