3575 search results - page 214 / 715 » Modeling Concurrency with Geometry |
201
click to vote
EUROMICRO
2007
IEEE
16 years 1 months 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...
200
Voted
DAWAK
2001
Springer
15 years 11 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...
197
Voted
CONCURRENCY
2007
15 years 7 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...
212
click to vote
VC
2002
15 years 6 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...
186
click to vote
STOC
2004
ACM
16 years 7 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 ...