3056 search results - page 367 / 612 » Open Implementation Analysis and Design |
156
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
161
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
201
click to vote
AOSE
2000
Springer
15 years 11 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
148
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
129
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...