27 Hits in 2.1 sec

Objective Caml for Multicore Architectures [article]

Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang
2020 arXiv   pre-print
Objective Caml is a famous dialect of the ML family languages.  ...  This paper presents our feedback on removing Objective Caml's garbage collector and designing a "Stop-The-World Stop&Copy" garbage collector to permit threads to take advantage of multicore architectures  ...  Acknowledgements We are thankfull to Jane Street Capital for choosing OC4MC as an Ocaml Summer Project 2008 including the associated financial participation.  ... 
arXiv:2006.05862v1 fatcat:gplgxb2w7nctbp2vm6p7bvoqgy

Programming and Timing Analysis of Parallel Programs on Multicores

Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault
2013 2013 13th International Conference on Application of Concurrency to System Design  
This paper proposes the ForeC language for the deterministic parallel programming of embedded applications on multicores.  ...  Experimentation with large multicore programs revealed an average over-estimation of only 2% for the computed worstcase execution times (WCETs).  ...  Fig. 2 illustrates the multicore architecture for executing ForeC programs, similar to existing predictable multicores [1] , [18] .  ... 
doi:10.1109/acsd.2013.19 dblp:conf/acsd/YipRBG13 fatcat:d6dc57b3nvfafm62bjarkgkkly

Shared-Memory Multiprocessing for Interactive Theorem Proving [chapter]

Makarius Wenzel
2013 Lecture Notes in Computer Science  
We address the multicore problem for interactive theorem proving, in particular for the Isabelle platform where substantial support for parallel theory and proof processing has emerged in the past few  ...  Concrete performance figures are analyzed for recent commodity hardware at the transition from 8 to 16 cores.  ...  In the multicore era, immutability is one of the inherent advantages of pure functional programming, and even mainstream Java programmers have noticed that (cf. the attention that functional-object-oriented  ... 
doi:10.1007/978-3-642-39634-2_30 fatcat:vaxf4rmegzd7nkhkpkpiycxwta

Hardware, Software, Humans: Truth, Fiction and Abstraction

Graham White
2015 History and Philosophy of Logic  
We give several historical examples and illustrate the changing pattern of mutual accommodation between human practices and computer technology, and argue for a more explicitly dialectical and critical  ...  They used, instead of C++, a functional language called Objective CAML, and they used a proof assistant called HOL Light which was very well integrated with CAML.  ...  of the larger pieces (that is, the mathematical objects they stand for) by composing the semantics for smaller pieces.  ... 
doi:10.1080/01445340.2015.1059992 fatcat:6id3ezgxknhcdaixtzbpj7leuq


Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter Dinda
2011 Proceedings of the 7th symposium on Dynamic languages - DLS '11  
Places bring new support for message-passing parallelism to Racket.  ...  The ([N n]) part binds the size n from the original place to N Acknowledgments Thanks to Jay McCarthy for access to the 12core machine we used to run our experiments and the anonymous DLS reviewers for  ...  Concurrent Caml Light presumes allocation of mutable objects is infrequent and mutable objects have longer life spans.  ... 
doi:10.1145/2047849.2047860 dblp:conf/dls/TewSFFD11 fatcat:6f7o7walsbdujn455jokb2jscy

Software Code Generation for the RVC-CAL Language

Matthieu Wipliez, Ghislain Roquier, Jean-François Nezan
2009 Journal of Signal Processing Systems  
Multicore architectures are now being proposed so that computational power keeps increasing.  ...  The main issue of this approach is that standard programming languages (C, C++, . . . ) are sequential and not suitable for parallel multicore architectures.  ... 
doi:10.1007/s11265-009-0390-z fatcat:fxznwmwfofcxnnnsykitaj27hq

Electrical Signal Modeling in Cochlear Implants. Study of Temperature and Humidity Effects

Maria-Alexandra Paun, Vladimir-Alexandru Paun, Viorel-Puiu Paun
2021 Micromachines  
The results of the electrical pulse generator for each of the eight channels, with the IIR filter, Gaussian noise, temperature variation, humidity influence, and control of denoise block activity, were  ...  The Objective Caml native compiler produces standalone executables by default.  ...  A standalone executable is a program that does not depend an Objective Caml installation to run.  ... 
doi:10.3390/mi12070785 fatcat:g4wctn4akrctvm7oc4ndz74cqa

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study [article]

Tayeb Bouhadiba (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble), Quentin Sabah (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble), Gwenaël Delaval (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble), Éric Rutten (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
2011 arXiv   pre-print
The Fractal component-based framework, and its industrial instantiation MIND, provide for support for control operations in the lifecycle of components.  ...  We describe how to model the state space of the control problem, and how to specify the control objectives.  ...  We have ongoing work on another interesting case study: an H264 video processing application, implemented on a multicore architecture using Cecilia and Comete.  ... 
arXiv:1105.6010v2 fatcat:xowcq3zhyzdjbmfwxup4qgx7ye

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
Lem resembles a pure subset of Objective Caml, supporting typical functional programming constructs, including top-level parametric polymorphism, datatypes, records, higher-order functions, and pattern  ...  Studying the interaction of affine loop transformations and vectorization, for multicore processors and hardware accelerators.  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Efficient parallel programming in Poly/ML and Isabelle/ML

David C.J. Matthews, Makarius Wenzel
2010 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10  
Here we report on a recent project to adapt both the Poly/ML compiler and the Isabelle theorem prover to current multicore hardware.  ...  Our library also provides the usual parallel combinators for functions on lists, and analogous versions on prover tactics.  ...  It also means that significant runtime resources are required for "fully-expansive" proof construction, so multicore programming really matters.  ... 
doi:10.1145/1708046.1708058 dblp:conf/popl/MatthewsW10 fatcat:zh2fs6336rds7bkc4jomwfznpq

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman
2017 The Art, Science, and Engineering of Programming  
Reversible debugging is preferred for bugs seen only after minutes. This architecture allows for an efficient and easy-to-write snapshot-based reversibe debugger on top of a conventional debugger.  ...  The validity of this approach was tested by developing four personalities (for GDB, MATLAB, Perl, and Python), with each personality typically requiring just 100 lines of code.  ...  The Objective Caml system: release . ; Documentation and user's manual. . [ ] E. Christopher Lewis, Prashant Dhamdhere, and Eric Xiaojian Chen.  ... 
doi:10.22152/ fatcat:2tvi33gbpjfp5lzpzdcvmjlale

Continuum multi-physics modeling with scripting languages: the Nsim simulation compiler prototype for classical field theory [article]

Thomas Fischbacher, Hans Fangohr
2009 arXiv   pre-print
We demonstrate that for a broad class of physical systems that can be described using classical field theory, automated runtime translation of the physical equations to parallelized finite-element numerical  ...  However, one consequence is that Nsim in its present form can not work on heterogeneous multi-architecture clusters, as one should not expect Objective Caml data structure serialization to be able to cross  ...  The Nsim authors found that the Objective Caml system satisfies these criteria very well.  ... 
arXiv:0907.1587v1 fatcat:z3uylciib5cdjhktcz66po5vem

Transaction-friendly condition variables

Chao Wang, Yujie Liu, Michael Spear
2014 Proceedings of the 26th ACM symposium on Parallelism in algorithms and architectures - SPAA '14  
Recent microprocessors and compilers have added support for transactional memory (TM).  ...  Our implementation is compatible with existing C/C++ interfaces for condition synchronization.  ...  Acknowledgments We thank Victor Luchangco and Michael Scott for many helpful suggestions during the conduct of this research.  ... 
doi:10.1145/2612669.2612681 dblp:conf/spaa/WangLS14 fatcat:mpwt4l3rondztclpgili3loq24

Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns

Young-Woo Kwon
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
As software applications are becoming increasingly distributed and mobile, their design and implementation are characterized by distributed software architectures, possibility of faults, and the need for  ...  To support distributed object-based applications, RPC has been extended into various distributed object systems, including Common Object Request Broker Architecture (CORBA) [106] , the Distributed Component  ...  Design Objectives Can any distributed component architecture be effectively hardened against network volatility?  ... 
doi:10.1145/2508075.2508082 dblp:conf/oopsla/Kwon13 fatcat:h4x6hi4nhren3o6ygssxnbsgoa

Building pattern recognition applications with the SPARE library [article]

Lorenzo Livi, Guido Del Vescovo, Antonello Rizzi, Fabio Massimo Frattale Mascioli
2015 arXiv   pre-print
The library follows the requirement of the generality: most of the implemented algorithms are able to process user-defined input data types transparently, such as labeled graphs and sequences of objects  ...  Here we present a high-level picture of the SPARE library characteristics, focusing instead on the specific practical possibility of constructing pattern recognition systems for different input data types  ...  Other languages, such as Haskel, D, ML, Caml, XL, and modern Java, adopt a similar technique. For example, a well-known family of classes in the C++ STL are containers [4, 6].  ... 
arXiv:1410.5263v2 fatcat:h3n5jobr5jfwva5imx3wgi755i
« Previous Showing results 1 — 15 out of 27 results