6581 search results - page 409 / 1317 » Formalizing Design Patterns |
159
click to vote
NOCS
2007
IEEE
16 years 12 days ago
2007
IEEE
We present a novel network-on-chip-based architecture for future programmable chips (FPGAs). A key challenge for FPGA design is supporting numerous highly variable design instance...
131
Voted
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
136
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...
165
click to vote
SOCO
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
130
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...