3305 search results - page 211 / 661 » Models and Modeling Infrastructures for Global Computational... |
123
click to vote
ICCV
1999
IEEE
16 years 5 months ago
1999
IEEE
In human perception, convex surfaces have a strong tendency to be perceived as the "figure". Convexity has a stronger influence on figural organization than other global...
131
click to vote
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
134
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
110
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
125
click to vote
IADIS
2004
15 years 5 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...