A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Objective Caml for Multicore Architectures
[article]
2020
arXiv
pre-print
Preserved Fulltext
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
2013
2013 13th International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2015
History and Philosophy of Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Places
2011
Proceedings of the 7th symposium on Dynamic languages - DLS '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Signal Processing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Micromachines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2019
Real-Time Embedded Multithreading Using ThreadX
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2017
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1703.10864v1 fatcat:ki7ppxftmzd2rjdyipvs6tkgmq
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. http://caml.inria.fr/pub/docs/manual-ocaml/. . [ ] E. Christopher Lewis, Prashant Dhamdhere, and Eric Xiaojian Chen. ...
doi:10.22152/programming-journal.org/2017/1/16
fatcat:2tvi33gbpjfp5lzpzdcvmjlale
Continuum multi-physics modeling with scripting languages: the Nsim simulation compiler prototype for classical field theory
[article]
2009
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 26th ACM symposium on Parallelism in algorithms and architectures - SPAA '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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