433 search results - page 63 / 87 » Contracts: From Analysis to C Implementation |
IEEEPACT
2008
IEEE
15 years 4 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...
126
click to vote
AVSS
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...