4609 search results - page 183 / 922 » Automatic Generation of Sigma-Protocols |
164
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
205
click to vote
TVLSI
2008
15 years 5 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
177
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes a fully automatic standard-cell layout synthesis system, CELLERITY. The system is flexible in supporting a wide variety of process technologies and a range of...
170
click to vote
CIARP
2007
Springer
16 years 19 days ago
2007
Springer
Segmentation through seeded region growing is widely used because it is fast, robust and free of tuning parameters. However, the seeded region growing algorithm requires an automat...
171
click to vote
EGH
2005
Springer
15 years 12 months ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...