2695 search results - page 116 / 539 » A Visual Approach to Validating System Level Designs |
140
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
155
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The Redundancy Allocation Problem (RAP) is a kind of reliability optimization problems. It involves the selection of components with appropriate levels of redundancy or reliabi...
132
Voted
PLDI
2010
ACM
16 years 21 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
129
click to vote
ECBS
2003
IEEE
15 years 8 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
134
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...