34229 search results - page 476 / 6846 » Power-aware computing systems |
223
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
180
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
A key concept in the restructuring of the electric power industry is the ability to accurately and rapidly quantify the capabilities of the transmission system. Transmission trans...
195
click to vote
CSC
2006
15 years 8 months ago
2006
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
175
click to vote
PDPTA
2000
15 years 8 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
228
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...