11112 search results - page 398 / 2223 » Computing Stuttering Simulations |
216
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
187
click to vote
GPC
2009
Springer
15 years 4 months ago
2009
Springer
Data integrity is an important aspect of storage security and reliability which are prerequisite for most computer systems and network applications. This paper proposes a new tech...
174
click to vote
JSAT
2010
15 years 1 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
181
click to vote
VIS
2006
IEEE
16 years 8 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
234
click to vote
ANSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...