1760 search results - page 318 / 352 » A System to Mark Programs Automatically |
140
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
106
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Currently an abundance of historical manuscripts, journals, and scientific notes remain largely unaccessible in library archives. Manual transcription and publication of such docu...
120
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
126
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
175
click to vote
WFLP
2009
Springer
15 years 9 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...