4693 search results - page 322 / 939 » Verifying Hybrid Systems |
178
click to vote
ISOLA
2004
Springer
16 years 25 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
186
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
191
Voted
VLSI
2007
Springer
16 years 1 months ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
226
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
190
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—Linear amplification with nonlinear components (LINC) technique is a linearization technique for power amplifier designs. By using LINC, the nonlinear power amplifier with high ...