619 search results - page 73 / 124 » The measurement of a design structural and functional comple... |
AUTOMATICA
2002
14 years 11 months ago
2002
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
SENSYS
2009
ACM
15 years 6 months ago
2009
ACM
We describe the design, deployment, and experience with a wireless sensor network for high-fidelity monitoring of electrical usage in buildings. A network of 38 mote-class AC met...
104
click to vote
ISCA
2005
IEEE
15 years 5 months ago
2005
IEEE
Memory latency tolerant architectures support thousands of in-flight instructions without scaling cyclecritical processor resources, and thousands of useful instructions can compl...
117
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...