856 search results - page 58 / 172 » Design Guidance through the Controlled Application of Constr... |
FM
1999
Springer
14 years 1 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
HPCA
1999
IEEE
14 years 1 months ago
1999
IEEE
Impulse is a new memory system architecture that adds two important features to a traditional memory controller. First, Impulse supports application-specific optimizations through...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we focus on improving contour tracking in precision motion control (PMC) applications through the use of Cross-Coupled Iterative Learning Control (CCILC). Initia...
ICEIS
2003
IEEE
14 years 2 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...