2779 search results - page 204 / 556 » Modelling Immunological Memory |
111
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Nowadays computer graphics hardware presents a series of characteristics, such as AGP memory, vertex cache, etc., that can be used for real-time rendering. The aim of thi...
209
Voted
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
117
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
133
Voted
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
155
Voted
TOPNOC
2010
14 years 10 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...