2010
DOI: 10.1088/1742-6596/219/7/072009
|View full text |Cite
|
Sign up to set email alerts
|

PROOF on Demand

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2012
2012
2014
2014

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 9 publications
(2 citation statements)
references
References 0 publications
0
2
0
Order By: Relevance
“…PROOF on Demand (PoD) [4] is a toolchain capable of running PROOF without the need of static multiuser installations. PoD works either opportunistically, via SSH, or by submitting PROOF workers to a workload management system.…”
Section: Proof On Demandmentioning
confidence: 99%
“…PROOF on Demand (PoD) [4] is a toolchain capable of running PROOF without the need of static multiuser installations. PoD works either opportunistically, via SSH, or by submitting PROOF workers to a workload management system.…”
Section: Proof On Demandmentioning
confidence: 99%
“…Alternatively, PROOF-Lite is a dedicated version of PROOF that takes advantage of multi-core machines, but is limited to a single host. Tools like PoD [2] or PROOF Cluster [3] free the user from the setup and configuration of the system by providing a dynamic construction of the PROOF infrastructure using a batch system. This integration of PROOF into existing production services forces the adaptation of the system to specific software configurations, which may not completely fulfill the requirements of the user.…”
Section: Introductionmentioning
confidence: 99%