3388 search results - page 219 / 678 » Type-theoretic design patterns |
148
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Smart disks, a type of processor-embedded active I/O devices, with their on-disk memory and network interface controller, can be viewed as processing elements with attached storage...
195
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
167
click to vote
NOCS
2007
IEEE
16 years 23 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...
136
click to vote
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 ...
146
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...