4353 search results - page 141 / 871 » Expressiveness of Process Algebras |
130
click to vote
SCAM
2009
IEEE
15 years 11 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
136
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
135
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
129
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
149
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...