2796 search results - page 327 / 560 » A time structure based software reliability model |
192
Voted
CGF
2000
15 years 4 months ago
2000
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since a complete mental model based on vision...
154
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
124
Voted
COR
2008
15 years 5 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
150
click to vote
ASC
2000
15 years 6 months ago
2000
A neural model-based predictive control scheme is proposed for dealing with steady-state offsets found in standard MPC schemes. This structure is based on a constrained local inst...
297
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...