Filters
Parallel State Space Generation and Exploration on Shared-Memory Architectures
In the paper, we discuss possibilities of parallel state space generation and exploration on shared-memory architectures for the case of Object Oriented Petri Nets. The goal is to combat the high time complexity of state spaces-base...
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Parallel State Space Generation and Exploration on Shared-Memory Architectures
In the paper, we discuss possibilities of parallel state space generation and exploration on shared-memory architectures for the case of Object Oriented Petri Nets. The goal is to combat the high time complexity of state spaces-base...
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Shared Hash Tables in Parallel Model Checking
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. Since usage of shared state storage...
IN - Informatika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Shared Hash Tables in Parallel Model Checking
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. Since usage of shared state storage...
IN - Informatika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed. In this paper,we present a design for a parallel shared ...
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Surface reconstruction rom large point clouds using virtual shared memory manager
This paper describes the newly developed VSM distributed toolkit and its itilization for the surface reconstruction of large data sets. We processed 1,4M points on 4xP4 in 6 hours. About 5GB of memory was consumed....
JC - Počítačový hardware a software
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Presuppositions within the Analysis of Popular Memory Discourses
community. Any approach to social memories must be interested in commonly shared of any social memory discourse, dominated by presentism and essentialism. The paper proposes that the importance of commonly shared ...
Sociology
- 2018 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Parallel delaunay triangulation in E2 and E3 for computers with shared memory
This paper presents several parallel algorithms for the construction of the delaunay triangulation in E2 and E3. The proposed algorithms are designed for parallel systems with several processors and shared memory....
JC - Počítačový hardware a software
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Distributed Shared Memory and QoS
Not available...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Practically oriented parallel Delaunay triangulation in E2 for computers with shared memory
We describe two simple and efficient parallel algorithms for the construction of the Delaunay triangulation in E2. The proposed algorithms are designed for parallel systems several processors and with shared memory. We have implemen...
JD - Využití počítačů, robotika a její aplikace
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 28 768