Sciweavers

322 search results - page 25 / 65
» A Case Study of Hardware and Software Synthesis in ForSyDe
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
13 years 11 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
EUROMICRO
2005
IEEE
14 years 1 months ago
Process Patterns for Software Systems In-house Integration and Merge Experiences from Industry
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
Rikard Land, Ivica Crnkovic, Stig Larsson
SOFSEM
2009
Springer
14 years 4 months ago
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Micha...
ISCA
2010
IEEE
199views Hardware» more  ISCA 2010»
14 years 16 days ago
A case for FAME: FPGA architecture model execution
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...
Zhangxi Tan, Andrew Waterman, Henry Cook, Sarah Bi...
COMPSAC
2006
IEEE
13 years 11 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring