1681 search results - page 217 / 337 » Formal Design of Distributed Control Systems with Lustre |
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
140
click to vote
IHI
2012
13 years 5 months ago
2012
Electronic Health Record (EHR) and Personal Health Record (PHR) systems could allow patients to better manage their health information and share it to enhance the quality and effi...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
NOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper introduces Network-on-Chip (NoC) design methodology and low cost mechanisms for supporting efficient cache access and cache coherency in future high-performance Chip Mul...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Real-time applications continue to increase in importance as they are employed in various critical areas, such as command and control systems. These applications have traditionall...