3555 search results - page 197 / 711 » Security-Critical System Development with Extended Use Cases |
145
click to vote
TCS
2008
15 years 4 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
129
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
103
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper extends the kinematic manipulability concept commonly used for serial manipulators to general constrained rigid multibody systems. Examples of such systems include multi...
120
click to vote
AI
2006
Springer
15 years 4 months ago
2006
Springer
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
123
Voted
AUTOMATICA
2002
15 years 4 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...