3575 search results - page 214 / 715 » Modeling Concurrency with Geometry |
161
Voted
EUROMICRO
2007
IEEE
16 years 12 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
171
click to vote
DAWAK
2001
Springer
15 years 10 months ago
2001
Springer
Tree based indexing structures like -trees, ·-trees, Bitmap indexes and Ê-trees have become essential for getting good performance when accessing vast datasets. However, most dat...
170
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...
178
click to vote
VC
2002
15 years 5 months ago
2002
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
163
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...