5439 search results - page 346 / 1088 » Patterns: from system design to software testing |
163
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
173
click to vote
FDL
2005
IEEE
16 years 13 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
150
click to vote
IUI
2005
ACM
16 years 12 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
198
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
175
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...