Sciweavers

1487 search results - page 122 / 298
» On Validating Engineering Design Decision Support Tools
Sort
View
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
15 years 9 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi
OOPSLA
2007
Springer
15 years 10 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
CODES
2003
IEEE
15 years 9 months ago
A multiobjective optimization model for exploring multiprocessor mappings of process networks
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
Cagkan Erbas, Selin C. Erbas, Andy D. Pimentel
COMPSAC
2003
IEEE
15 years 9 months ago
A Role-Based Metamodeling Approach to Specifying Design Patterns
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...
ECLIPSE
2004
ACM
15 years 10 months ago
Developing marking support within Eclipse
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
Del Myers, Elizabeth Hargreaves, Jody Ryall, Suzan...