413 search results - page 8 / 83 » A formalism for functionality preserving system level transf... |
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
PODC
1999
ACM
14 years 11 days ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper proposes a new expression of frequency transformation for linear continuous-time state-space systems. The proposed frequency transformation preserves the controllabi...