2069 search results - page 348 / 414 » Synthesizing |
152
click to vote
EGH
2010
Springer
15 years 3 months ago
2010
Springer
Current GPUs rasterize micropolygons (polygons approximately one pixel in size) inefficiently. Additionally, they do not natively support triangle rasterization with jittered samp...
155
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
186
click to vote
FMAM
2010
15 years 3 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
163
click to vote
ICCAD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
141
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
Optical lithography is a critical step in the semiconductor manufacturing process, and one key problem is the design of the photomask for a particular circuit pattern, given the o...