234 search results - page 23 / 47 » Validation of requirement models by automatic prototyping |
97
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
88
Voted
FTCS
1998
15 years 8 days ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
121
Voted
BPM
2009
Springer
14 years 8 months ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
97
Voted
RSP
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...