246 search results - page 27 / 50 » A functional formalization of on chip communications |
IFL
2001
Springer
13 years 11 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
IFL
2001
Springer
13 years 11 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
ENTCS
2006
13 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
There have been serious concerns recently about the security of microchips from hardware trojan horse insertion during manufacturing. This issue has been raised recently due to ou...