7526 search results - page 364 / 1506 » The Design and Implementation of the A2QM3 System |
184
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
174
click to vote
CASCON
1996
15 years 8 months ago
1996
We introduce a seamless messaging system for the management of personal messages. The aim of it is to intercept, filter, interpret, and deliver multi-modal messages (voice, fax, a...
214
click to vote
JIRS
2008
15 years 6 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
221
click to vote
RTAS
2011
IEEE
14 years 9 months ago
2011
IEEE
Recent windowing systems allow graphics applications to directly access the graphics processing unit (GPU) for fast rendering. However, application tasks that render frames on the...
229
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...