5200 search results - page 160 / 1040 » Symbolic models for control systems |
FCCM
2005
IEEE
14 years 2 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Electronic Medical Record (EMR) integrates heterogeneous information within a Healthcare Institution stressing the need for security and access control. The Biostatistics and ...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
ECRTS
2007
IEEE
14 years 3 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...