1992 search results - page 215 / 399 » Memory modeling for system synthesis |
261
click to vote
FIDJI
2004
Springer
15 years 11 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...
171
click to vote
ECRTS
2003
IEEE
15 years 11 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...
201
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
147
click to vote
IVA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
179
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...