1804 search results - page 311 / 361 » Use Cases in Model-Driven Software Engineering |
138
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
118
Voted
WSC
2008
15 years 6 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
135
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
111
Voted
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
154
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...