3575 search results - page 138 / 715 » Modeling Concurrency with Geometry |
118
click to vote
POPL
2004
ACM
15 years 7 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...
102
Voted
LICS
2006
IEEE
15 years 7 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...
102
click to vote
CERA
2008
15 years 1 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...
CERA
2006
15 years 1 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...
WSCG
2001
15 years 2 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...