Filters








33,319 Hits in 4.3 sec

Table space designs for implicit and explicit concurrent tabled evaluation

MIGUEL AREIAS, RICARDO ROCHA
2018 Theory and Practice of Logic Programming  
In this paper, we summarize Yap's main contributions to concurrent tabled evaluation and we describe the design and implementation challenges of several alternative table space designs for implicit and  ...  explicit concurrent tabled evaluation that represent different trade-offs between concurrency and memory usage.  ...  Lock-Based - Explicit Threads Fixed-Size Lock-Free NS/SS/PAS Designs Table Table Space Designs Space For Implicit and Explicit Concurrent Tabled Evaluation 43 Table B 1.  ... 
doi:10.1017/s147106841800039x fatcat:3td3yqt65raatdbyilqcwttkbi

"Grip-that-there": An Investigation of Explicit and Implicit Task Allocation Techniques for Human-Robot Collaboration [article]

Karthik Mahadevan, Maurício Sousa, Anthony Tang, Tovi Grossman
2021 arXiv   pre-print
Inspired by HCI research on territoriality and proxemics, we propose a design space of novel task allocation techniques including both explicit techniques, where the user maintains agency, and implicit  ...  The techniques were implemented and evaluated using a tabletop HRC simulation in VR.  ...  We propose a design space with three new explicit techniques: menu, subtle relocation, and fixed territories and three new implicit techniques: distance, gaze, and proximity.  ... 
arXiv:2102.00581v2 fatcat:x7t34jhjljfmxcajmlgtgdkyye

Design space exploration of memory model for heterogeneous computing

Jieun Lim, Hyesoon Kim
2012 Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '12  
Our results suggest that maintaining a separate memory model for each architecture and having a partially shared memory space provide the most design options in both programming models and architecture  ...  Memory modeling design decisions affect not only architecture designs but also programming models. Hence, comparing them is very challenging and not all design spaces have been explored.  ...  Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect of NSF.  ... 
doi:10.1145/2247684.2247700 dblp:conf/pldi/LimK12 fatcat:wwh63tf46fbqblk45stgb44mdy

Design Space Exploration of Memory Model for Heterogeneous Computing

Jieun Lim, Hyesoon Kim
2014 2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing  
Our results suggest that maintaining a separate memory model for each architecture and having a partially shared memory space provide the most design options in both programming models and architecture  ...  Memory modeling design decisions affect not only architecture designs but also programming models. Hence, comparing them is very challenging and not all design spaces have been explored.  ...  Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect of NSF.  ... 
doi:10.1109/sbac-pad.2014.9 dblp:conf/sbac-pad/LimK14 fatcat:m4cbb5t57ba6pldkv344h5zsz4

Past and present (and future) of parallel and distributed computation in (constraint) logic programming

FERDINANDO FIORETTO, ENRICO PONTELLI
2018 Theory and Practice of Logic Programming  
A declarative language, being not procedural, removes the need to perform operations in a strict order and reduces the number of dependencies among operations, thus opening the doors for concurrent execution  ...  Declarative languages offer unprecedented opportunities for the use of parallelism to speed up execution.  ...  tabled evaluation and describes the design and implementation challenges of several alternative table space designs for implicit and explicit concurrent tabled evaluation, as explored in the YAP Prolog  ... 
doi:10.1017/s1471068418000406 fatcat:fzevnnrn5bg6pmevaykleqkxxi

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes [chapter]

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2011 Lecture Notes in Computer Science  
The paper then reviews the main features of Cadp 2010, including compilers for various formal specification languages, equivalence checkers, model checkers, performance evaluation tools, and parallel verification  ...  Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of concurrency theory.  ...  Implicit state spaces.  ... 
doi:10.1007/978-3-642-19835-9_33 fatcat:4fh2thknsfaergm37j6tgbncze

Experiments with an ODE solver on a multiprocessor system

D. Petcu
2001 Computers and Mathematics with Applications  
Therefore, the design of a new ODE solving environment for stiff or large ODE systems must take into account some facilities for parallel or distributed computation.  ...  It is proved that parallel implicit methods can be used with success to generate the numerical solutions of large and sparse IVPs not only on parallel computers but also on computer networks.  ...  Note the big gap between the time necessary for one step of an explicit method and one step of an implicit method (Tables 2 and 4 ), in favor of the explicit methods.  ... 
doi:10.1016/s0898-1221(01)00232-2 fatcat:7xtu7n7f7jcqrgdjellakhcdta

A Case Study: Quantitative Evaluation of C-Based High-Level Synthesis Systems

Omar Hammami, Zhoukun Wang, Virginie Fresse, Dominique Houzet
2008 EURASIP Journal on Embedded Systems  
Embedded systems require a high-level abstraction modeling to tackle their complexity and improve design productivity. Cbased design techniques and methodologies have been proposed for this purpose.  ...  In this paper, we conduct through a case study an evaluation of C-based design of embedded systems and point out the impact of behavioral synthesis on embedded systems multiobjective high-level partitioning  ...  ACKNOWLEDGMENT The authors are grateful to the reviewers for their excellent reviews which helped improve the paper dramatically.  ... 
doi:10.1155/2008/685128 fatcat:rljnxyocbzckxdfv23xmb27moy

Solving Initial Value Problems with a Multiprocessor Code [chapter]

Dana Petcu
1999 Lecture Notes in Computer Science  
We investigate in what extent can be practically exploited the idea of parallelism across method in the case of such large problems, and using a distributed computational system.  ...  The semidicretization of a time-dependent nonlinear partial di erential equation leads to a large-scale initial value problem for ordinary di erential equations which often cannot be solved in a reasonable  ...  Speedup and e ciency: (a) for three di erent implicit methods applied to the IVP produced by the PDE from Table 2.d (b) for three di erent implicit and explicit methods applied to the IVP produced by the  ... 
doi:10.1007/3-540-48387-x_47 fatcat:7uirnz27ijefvnsqfbjbxntqmu

Diaformer: Automatic Diagnosis via Symptoms Sequence Generation [article]

Junying Chen, Dongfang Li, Qingcai Chen, Wenxiu Zhou, Xin Liu
2021 arXiv   pre-print
To alleviate the discrepancy between sequential generation and disorder of implicit symptoms, we further design three orderless training mechanisms.  ...  We firstly design the symptom attention framework to learn the generation of symptom inquiry and the disease diagnosis.  ...  Acknowledgements We thank all the reviewers for their constructive comments and useful suggestions.  ... 
arXiv:2112.10433v1 fatcat:3nod6p6ojzcsvkvcvnrnohhm7u

Enhanced Shape Memory Alloy Actuators [chapter]

M. Leary, J. Mac, M. Mazur, F. Schiavone, A. Subic
2010 Sustainable Automotive Technologies 2010  
The authors have proposed a novel method that enables a significant enhancement of the heat transfer rate in a cost effective and robust manner.  ...  Shape memory alloys (SMA) provide an opportunity to develop ultralight mechanical actuators with far superior economic and environmental performance to traditional actuators.  ...  The proposed FDE analysis enables the evaluation of a specific configuration. To assess a larger design space requires an automated Design of Experiments (DoE) approach.  ... 
doi:10.1007/978-3-642-10798-6_23 fatcat:qaphkp3fv5hhxockve6i6ahsme

CADP 2011: a toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2012 International Journal on Software Tools for Technology Transfer (STTT)  
evaluation tools, and parallel verification tools running on clusters and grids.  ...  Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of concurrency theory.  ...  Visual Checking Cadp contains tools to visualize explicit and implicit state spaces.  ... 
doi:10.1007/s10009-012-0244-z fatcat:fdch5egwpneebjd3bo6lozyhby

Coordination in CE Systems: An Approach Based on the Management of Dependences between Activities

Sylvain Lizotte, Brahim Chaib-draa
1997 Concurrent Engineering - Research and Applications  
Our work is an attempt to develop a general model for coordination which can be adapted for some situations in the context of CE.  ...  In this paper, we detail this model and then, we present an illustrative example and nally, w e identify the current status and the future evolution of our approach.  ...  We specially like to thank Cli ord Grossner for reading and commenting on this paper.  ... 
doi:10.1177/1063293x9700500408 fatcat:7klcd3ruqnbwvlatpelb2wb2je

Synthesizing fine-grained synchronization protocols for implicit monitors

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Işil Dillig
2022 Proceedings of the ACM on Programming Languages (PACMPL)  
This paper presents a new technique for synthesizing fine-grained explicit-synchronization protocols from implicit monitors.  ...  We have implemented our approach in a tool called Cortado and evaluate it on monitors that contain parallelization opportunities.  ...  ACKNOWLEDGMENTS We would like to thank the anonymous reviewers, Shankara Pailoor, and Benjamin Mariano for their insightful feedback.  ... 
doi:10.1145/3527311 fatcat:wzgvu4rfkrb6lgtz24ku73dska

Exploring the bases for a mixed reality stroke rehabilitation system, Part II: Design of Interactive Feedback for upper limb rehabilitation

Nicole Lehrer, Yinpeng Chen, Margaret Duff, Steven L Wolf, Thanassis Rikakis
2011 Journal of NeuroEngineering and Rehabilitation  
Results: The AMRR system provides computational evaluation and multimedia feedback for the upper limb rehabilitation of stroke survivors.  ...  A participant's movements are tracked by motion capture technology and evaluated by computational means.  ...  Acknowledgements The authors would like to thank the entire Adaptive Mixed Reality Rehabilitation research group for their contributions to this project, as well as the participants of our system [35]  ... 
doi:10.1186/1743-0003-8-54 pmid:21899779 pmcid:PMC3192742 fatcat:v3b6amlur5hnnpfeqmvhq3ufaa
« Previous Showing results 1 — 15 out of 33,319 results