2000 search results - page 206 / 400 » Program Transformation and Proof Transformation |
123
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Decoupled Software Pipelining (DSWP) is one approach to automatically extract threads from loops. It partitions loops into long-running threads that communicate in a pipelined man...
146
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
The memory access limits the performance of stream processors. By exploiting the reuse of data held in the Stream Register File (SRF), an on-chip storage, the number of memory acc...
103
click to vote
ISI
2007
Springer
15 years 10 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
118
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
111
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...