4835 search results - page 683 / 967 » Refactoring Functional Programs |
103
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
76
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
106
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...
RECONFIG
2009
IEEE
15 years 7 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
80
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...