3394 search results - page 294 / 679 » A Modal Model of Memory |
158
click to vote
DSD
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper first defines the n-input q-output WS function, as a mathematical model of the combinational part of the distributed arithmetic of a finite impulse response (FIR) ...
145
click to vote
ICCS
2005
Springer
16 years 7 days 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...
269
click to vote
FIDJI
2004
Springer
16 years 3 days 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...
160
click to vote
DATE
2003
IEEE
16 years 12 hour 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...
179
Voted
ECRTS
2003
IEEE
16 years 11 hour 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...