1499 search results - page 239 / 300 » Chopping Concurrent Programs |
SIGARCH
2008
13 years 10 months ago
2008
Multiprocessors-on-chip, such as the Cell BE processor, regularly suffer from restricted bandwidth to off-chip main memory. We propose to reduce memory bandwidth requirements, and...
ACTA
2005
13 years 10 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
FMSD
2002
13 years 9 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
IFE
2002
13 years 9 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
MSCS
1998
13 years 9 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...