Sciweavers

911 search results - page 94 / 183
» Kolmogorov Complexity Cores
Sort
View
IJES
2008
76views more  IJES 2008»
15 years 6 months ago
SoC multiprocessor debugging and synchronisation using generic dynamic-connect debugger frontends
: Current and future SoC designs will contain an increasing number of programmable units. To be able to tailor and debug these processors in their system context at the highest pos...
Andreas Wieferink, Tim Kogel, Olaf Zerres, Rainer ...
FGCS
2006
70views more  FGCS 2006»
15 years 6 months ago
GrAL--the grid algorithms library
6 Dedicated library support for mesh-level geometry components, central to numerical PDE solution, is scarce. We claim that the situation is due to the inadequacy of traditional de...
Guntram Berti
CORR
2004
Springer
107views Education» more  CORR 2004»
15 years 6 months ago
Encapsulation for Practical Simplification Procedures
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
Olga Shumsky Matlin, William McCune
MMS
1998
15 years 6 months ago
A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects
This paper describes an event–based synchronization mechanism, which is at the core of the inter– media synchronization in the upcoming standard for Multimedia Presentation, PR...
Ivan Herman, Nuno Correia, David A. Duce, David J....
TVLSI
2002
98views more  TVLSI 2002»
15 years 6 months ago
Minimizing memory access energy in embedded systems by selective instruction compression
We propose a technique for reducing the energy spent in the memory-processor interface of an embedded system during the execution of firmware code. The method is based on the idea ...
Luca Benini, Alberto Macii, Enrico Macii, Massimo ...