10182 search results - page 192 / 2037 » Case Studies |
131
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
140
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
173
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we investigate the benefits of a flexible, application-specific instruction set by adding a run-time Reconfigurable Functional Unit (RFU) to a VLIW processor. Preli...