Filters
GFE - Graphical Finite State Machine Editor for Parallel Execution
GFE - Graphical Finite State Machine Editor for Parallel Execution...
JC - Počítačový hardware a software
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance
of implicit parallel execution of programs. The language, called Schemik, is high-level lexically-scoped implicitly-parallel dialect of Scheme. Schemik is designed as an implicitly parallel language, meaning that ...
JD - Využití počítačů, robotika a její aplikace
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Bobox
The Bobox parallelization framework has two primary goals: simplify writing parallel, data-intensive programs and to serve as a testbed for developing generic parallel algorithms and data-oriented parallel algorith...
IN - Informatika
- 2013 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
An Executable Sequential Specification for Spark Aggregation
parallel data aggregation. Since execution of parallel aggregation in SparkSpark is a new promising platform for scalable data-parallel computation the same result for any execution on the same data set. ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Acting of the Executive Head and Some of the Conclusions of the Judicature
Analysis of the decision of the Supreme Court about possibility of the parallel acting of the person as a member of the board of directors and as a legal delegate (§ 15 of Commercial Code)....
AG - Právní vědy
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Using Static Code Analysis to Improve Coarse Task Granularity in Bobox
Long-running tasks inhibit a parallel execution in some cases. A finer task granularity can significantly improve execution times in parallel environment. That is even more significant when using cooperative schedu...
IN - Informatika
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Incremental JIT Compiler for Implicitly Parallel Functional Language
We present a novel method for automatic parallelization of functional programs which combines interpretation and just-in-time compilation. We propose an execution which is able to identify portions of code worth running in paral...
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Parallelization of the GreConD algorithm for boolean matrix factorization
strategy which makes them highly sequential, thus unsuited for parallel execution. We propose a parallel variant of well-known BMF algorithm—GreConD, which is able to distribute workload among multiple parallel th...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Issues of Parallel Hybrid Nanoscopic /microscopic Road Traffic Simulation
is to utilize a parallel or distributed execution of the simulation. In this paper, we describe a parallel hybrid nanoscopic/microscopic road traffic simulation, which necessary for its execution increases as well...
JC - Počítačový hardware a software
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
can symbolically execute a function without knowing its context. In SV-COMP, we called compact symbolic execution to Slowbeast. Third, we have implemented a non-trivial may-happen-in-parallel analysis, which improves slici...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 20 311