440 search results - page 35 / 88 » Supporting Executable Mappings in Model Management |
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
114
click to vote
SAMOS
2007
Springer
15 years 8 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
107
click to vote
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
131
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...
119
click to vote
DSOM
2004
Springer
15 years 7 months ago
2004
Springer
This paper proposes a PBNM (Policy Based Network Management) framework for automating the process of generating and distributing DiffServ configuration to network devices. The fram...