4820 search results - page 303 / 964 » Implementing Signatures for C |
148
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
242
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
146
Voted
FPGA
2009
ACM
15 years 10 months ago
2009
ACM
Via-programmable gate arrays (VPGAs) offer a middle ground between application specific integrated circuits and field programmable gate arrays in terms of flexibility, manufac...
123
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
147
Voted
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents several parallel FFT algorithms with different degree of communication overhead for multiprocessors in Network-on-Chip(NoC) environment. Three different method...