1013 search results - page 178 / 203 » A hardware implementation of realloc function |
APPINF
2003
13 years 9 months ago
2003
This paper describes eight requirement indicators derived from a mobile work characterisation framework (MWCF). The MWCF is a framework for analysing mobile scenarios (mobile task...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Now a days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functio...
JAIR
2008
13 years 8 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
IJRR
2006
13 years 8 months ago
2006
We consider the problem of monitoring and controlling the position of herd animals, and view animals as agents with natural mobility but not strictly controllable. By exploiting k...
AUTOMATICA
2005
13 years 8 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...