3256 search results - page 375 / 652 » Applications of Formal Methods to System Design and Verifica... |
162
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
175
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
155
click to vote
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
179
click to vote
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
129
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Modern embedded applications usually have real-time constraints and they are implemented using heterogeneous multiprocessor systems-on-chip. Dimensioning a system requires accurat...