3575 search results - page 138 / 715 » Modeling Concurrency with Geometry |
144
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
119
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
126
click to vote
CERA
2008
15 years 4 months ago
2008
er.sagepub.com/cgi/content/abstract/16/2/121 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
103
click to vote
CERA
2006
15 years 4 months ago
2006
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
120
click to vote
WSCG
2001
15 years 5 months ago
2001
Most occlusion culling algorithms select a subset of suitable occluder planes or geometries to exclude invisible objects from further visualization processing. Preferably these oc...