11066 search results - page 236 / 2214 » Linearity in Process Languages |
126
click to vote
VLSID
2008
IEEE
16 years 5 months ago
2008
IEEE
Compared to subthreshold leakage, dynamic power is normally much less sensitive to the process variation due to its approximately linear relation to the process parameters. Howeve...
141
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
110
click to vote
GROUP
2003
ACM
15 years 10 months ago
2003
ACM
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
108
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
133
Voted
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...