555 search results - page 37 / 111 » A Run-time System for SCOOP |
IANDC
2010
13 years 6 months ago
2010
We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7 ). This improves the previously known ex...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
Publication
This research addressed changes in passenger activity and operating performance after implementation of a bus stop consolidation project at TriMet, the regional transit provider fo...
ICPADS
2007
IEEE
14 years 1 months ago
2007
IEEE
For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. T...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
Connected world-widely distributed computers and data systems establish a global source of processing power and data, called a grid. Key properties of a grid are the fact that com...