Sciweavers

581 search results - page 65 / 117
» In case you missed it
Sort
View
ESTIMEDIA
2004
Springer
14 years 3 months ago
Identifying "representative" workloads in designing MpSoC platforms for media processing
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
Alexander Maxiaguine, Samarjit Chakraborty, Wei Ts...
ESA
2001
Springer
75views Algorithms» more  ESA 2001»
14 years 2 months ago
Strongly Competitive Algorithms for Caching with Pipelined Prefetching
Suppose that a program makes a sequence of m accesses (references) to data blocks, the cache can hold k < m blocks, an access to a block in the cache incurs one time unit, and ...
Alexander Gaysinsky, Alon Itai, Hadas Shachnai
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ECAI
2006
Springer
14 years 1 months ago
Formalizing Complex Task Libraries in Golog
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
Alfredo Gabaldon
CASES
2001
ACM
14 years 1 months ago
Combined partitioning and data padding for scheduling multiple loop nests
With the widening performance gap between processors and main memory, efficient memory accessing behavior is necessary for good program performance. Loop partition is an effective...
Zhong Wang, Edwin Hsing-Mean Sha, Xiaobo Hu