3806 search results - page 87 / 762 » The Power of Process |
138
click to vote
TCS
2010
15 years 2 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
144
click to vote
IANDC
2010
15 years 1 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
141
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes, for the FPGA-based embedded systems, a reliability-aware process scheduling strategy that operates under performance bounds. A unique characteristic of the pr...
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Diffusion-type algorithms have been integrated in recent years successfully into the toolbox of image processing. We introduce a new more flexible and powerful family of parabolic...
132
click to vote
ICSP
1993
15 years 5 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...