381 search results - page 4 / 77 » SOS for Higher Order Processes |
ENTCS
2002
13 years 7 months ago
2002
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
DAGM
2005
Springer
14 years 1 months ago
2005
Springer
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Natural images are approximately scale invariant resulting in long range statistical regularities that typically obey a power law. For example, images have considerable regularity...
TAPSOFT
1995
Springer
13 years 11 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...