1714 search results - page 150 / 343 » Abstract Models of Memory Management |
141
Voted
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
129
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
130
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
120
Voted
GI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract: Das Identity Management (IDM) an Hochschulen ist in der Praxis angekommen und muss sich in der Realit¨at bew¨ahren. Hierzu z¨ahlt einerseits die Integration von Datenb...
118
click to vote
QOFIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...