945 search results - page 6 / 189 » Posix: A Model for Future Computing |
HIPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
STTT
2010
14 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
ACII
2011
Springer
13 years 9 months ago
2011
Springer
Current approaches to story generation do not utilize models of human affect to create stories with dramatic arc, suspense, and surprise. This paper describes current and future wo...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Most agent-based modeling techniques generate only a single trajectory in each run, greatly undersampling the space of possible trajectories. Swarming agents can explore a great m...
USENIX
2001
14 years 11 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...