322 search results - page 30 / 65 » A Case Study of Hardware and Software Synthesis in ForSyDe |
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
This study describes the use of technology to enhance an experiential adult learning process, which occurred in a participatory organizational climate assessment. In this case, co...
ECBS
2002
IEEE
14 years 20 days ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper describes the application of a measurement based power analysis technique for an embedded DSP processor. An instruction-level power model for the processor has been dev...
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...