3575 search results - page 31 / 715 » Modeling Concurrency with Geometry |
122
click to vote
ACS
2007
15 years 4 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
128
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Geometry compression is an effective way to distribute high-volume geometry data within limited bandwidth and storage capacity. In this paper, a new time-varying 3D geometry compre...
174
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
138
click to vote
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
15 years 2 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
153
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...