Filters








1,587 Hits in 6.1 sec

Flint

Peng Liu, Omer Tripp, Xiangyu Zhang
2014 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14  
We introduce Flint, an automated fixing algorithm for composed Map operations. Flint accepts as input a composed operation suffering from atomicity violations.  ...  Writing concurrent software while achieving both correctness and efficiency is a grand challenge.  ...  Hardware architectures are, however, becomingly increasingly more parallel, and so the demand for efficient yet correct parallel software is on the rise [29] .  ... 
doi:10.1145/2660193.2660217 dblp:conf/oopsla/LiuTZ14 fatcat:a6mqmbuhfbcf5hcjrl6imt2khe

Flint

Peng Liu, Omer Tripp, Xiangyu Zhang
2014 SIGPLAN notices  
We introduce Flint, an automated fixing algorithm for composed Map operations. Flint accepts as input a composed operation suffering from atomicity violations.  ...  Writing concurrent software while achieving both correctness and efficiency is a grand challenge.  ...  Hardware architectures are, however, becomingly increasingly more parallel, and so the demand for efficient yet correct parallel software is on the rise [29] .  ... 
doi:10.1145/2714064.2660217 fatcat:i3vxwc5ocbgrfdxx3sk45lwndi

Flint for Safer Smart Contracts [article]

Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach
2019 arXiv   pre-print
We propose Flint, a new statically-typed programming language specifically designed for writing robust smart contracts. Flint's features enforce the writing of safe and predictable code.  ...  Over a billion dollars worth of currency has been stolen since its release in July 2015.  ...  Acknowledgements We would like acknowledge Aurel Bily, Catalin Cracium, Calin Farcas, Yicheng Luo, Constantin Mueller, and Niklas Vangerow for their  ... 
arXiv:1904.06534v1 fatcat:usfkt2shsrgdtcdpyymhv2eedm

FLINT: Flows for the Internet of Things

Bart Moons, Michiel Aernouts, Vincent Bracke, Bruno Volckaert, Jeroen Hoebeke
2021 Applied Sciences  
We evaluated FLINT based on five levels of interoperability and show that FLINT can be used to interconnect non-interoperable systems and protocols on every level.  ...  We have also implemented FLINT in a container based environment and demonstrated that a basic configuration has a 99% forwarding rate of 17.500 513-byte packets per second, showing that the architecture  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app11199303 fatcat:3p6fhnnyrfcofg7kikzlr3e2nq

FROM FLINT TO SILICON, MODERN TECHNOLOGIES APPLIED TO THE UNDERSTANDING OF HISTORY. THE ITALIAN ARCHAEOLOGICAL MISSION IN IRAQI KURDISTAN

Carlo G. Cereti, Luca Colliva, Maria Vittoria Fontana, Gianfilippo Terribili, Julian Bogdani, Angela Bizzarro, Alessandro Tilia, Stefano S. Tilia
2012 Vicino Oriente  
Gli studi storico-archeologici sui siti sono stati affiancati da importanti attività di documentazione e gestione dei dati caratterizzate dall'utilizzo di alcune tra le più moderne risorse a disposizione  ...  All the surfaces were documented through the use of the Menci Software ZScan system (3D models and true orthophotographs), a system which allows the creation of 3D models of surfaces and -through their  ...  The first refers to the digital processing of the 3D model, obtained through digital photogrammetry acquisition, of the Sasanian monument of Paikuli as an architectural structure surveyed in situ ( fig  ... 
doi:10.53131/vo2724-587x2012_10 fatcat:2qwz4trckvb6zlapacthjfuxzy

The Development of IoT Within Energy Infrastructure [chapter]

Steffi O. Muhanji, Alison E. Flint, Amro M. Farid
2019 eIoT  
This control structure is shown in Fig. 3 .1 where a sensor takes measurements of the states and outputs of a physical system.  ...  In some cases, this control loop acts in near real-time; in other cases, some of the information is used as part of predictive applications that facilitate decisions at a longer timescale.  ...  An older review compares a variety of open source transportation modeling tools [392].  ... 
doi:10.1007/978-3-030-10427-6_3 fatcat:bivdubpfq5dang2cqgbowqyxoy

A web-based, interactive visualization tool for social environmental survey data

Amber Spackman Jones, Jeffery S. Horsburgh, Douglas Jackson-Smith, Maurier Ramírez, Courtney G. Flint, Juan Caraballo
2016 Environmental Modelling & Software  
We developed a standardized template for encoding survey data and metadata that permits the generalization of the tool to other similar surveys.  ...  The Viewer was implemented using a water-related survey administered to a large, random sample of Utah adults in public venues.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1016/j.envsoft.2016.07.013 fatcat:ujj3pobla5bj3cercz7qjtiari

Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor

Emmanuel Touloupis, James A. Flint, Member, Vassilios A. Chouliaras, David D. Ward
2007 IEEE transactions on computers  
., UK and the Department of Electronic and Electrical Engineering of Loughborough University, United Kingdom.  ...  He is active in consultancy and technology development in a number of areas concerned with vehicle electronics, related systems and functional safety, including EMC, embedded software, communications systems  ...  A simplified top-level architecture of the processor is shown in Fig. 1 . Apart from the normal LEON2 architecture, a faulttolerant pipeline microarchitecture proposed previously is tested [15] .  ... 
doi:10.1109/tc.2007.70766 fatcat:yahhg5j54rg2hhru2y2v6wfsu4

Systematic benchmarking of omics computational tools

Serghei Mangul, Lana S. Martin, Brian L. Hill, Angela Ka-Mei Lam, Margaret G. Distler, Alex Zelikovsky, Eleazar Eskin, Jonathan Flint
2019 Nature Communications  
The increasing dependence of scientists on these powerful software tools creates a need for systematic assessment of these methods, known as benchmarking.  ...  Computational omics methods packaged as software have become essential to modern biological research.  ...  In a competition-based model, participants will determine for each tool the optimal parameters.  ... 
doi:10.1038/s41467-019-09406-4 pmid:30918265 pmcid:PMC6437167 fatcat:lh4gyl237jhxvlcwnoovgeeefi

Generic and Scalable Framework for Automated Time-series Anomaly Detection

Nikolay Laptev, Saeed Amizadeh, Ian Flint
2015 Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining - KDD '15  
Our system at Yahoo, EGADS, uses a collection of anomaly detection and forecasting models with an anomaly filtering layer for accurate and scalable anomaly detection on timeseries.  ...  We found that our framework allows for 50-60% improvement in precision and recall for a variety of use-cases. Both the data and the framework are being open-sourced.  ...  INTRODUCTION While rapid advances in computing hardware and software have led to powerful applications, still hundreds of software bugs and hardware failures continue to happen in a large cluster compromising  ... 
doi:10.1145/2783258.2788611 dblp:conf/kdd/LaptevAF15 fatcat:ix4naujr7vgbzhxvowuhrt4ur4

Sedimentological parameterization of shallow-marine reservoirs

J. A. Howell, A. Skorstad, A. MacDonald, A. Fordham, S. Flint, B. Fjellvoll, T. Manzocchi
2008 Petroleum Geoscience  
These parameters were recorded from a series of 56 modern and ancient depositional systems from a variety of climatic and tectonic settings.  ...  These data were then used to build the 408 synthetic sedimentological models that formed the basis for the SAIGUP study.  ...  Fig. 5 . 5 Three levels of shoreline shapes used to build the synthetic models, as seen in RMS modelling software. Numbers refer to the RMS internal value.  ... 
doi:10.1144/1354-079307-787 fatcat:vbe6qxp4prbovnfoxd3cpjhoem

Identification of structural variation in mouse genomes

Thomas M. Keane, Kim Wong, David J. Adams, Jonathan Flint, Alexandre Reymond, Binnaz Yalcin
2014 Frontiers in Genetics  
In this review, we describe our current knowledge of structural variation in the mouse, one of the prime model systems for studying human diseases and mammalian biology.  ...  We conclude with future directions on the study of structural variation in mouse genomes that will increase our understanding of molecular architecture and functional consequences of structural variation  ...  Sindi and colleagues, for example, used an algorithm combining both read pairs and read depth signals into a probabilistic model implemented in a software GASV-PRO that significantly improves detection  ... 
doi:10.3389/fgene.2014.00192 pmid:25071822 pmcid:PMC4079067 fatcat:pk6myb2mlbdbzfdvv3ssqnk2he

Investigation of the subcellular architecture of L7 neurons of Aplysia californica using magnetic resonance microscopy (MRM) at 7.8 microns

Choong H. Lee, Jeremy J. Flint, Brian Hansen, Stephen J. Blackband
2015 Scientific Reports  
We hope this methodology will serve as the groundwork for studying pathophysiological changes through perturbation studies and allow for development of disease-specific cellular modeling tools.  ...  Even if the sensitivity of MRM is less than other microscopic technologies, its strength lies in that it relies on the same image contrast mechanisms as clinical MRI which make it a unique tool for improving  ...  Moroz for his discussion about the intracellular structures, especially the potential identification of trosphospongium.  ... 
doi:10.1038/srep11147 pmid:26059695 pmcid:PMC4461915 fatcat:2pqxnd2x6fhmpjm7zci47hofj4

Diffusion tensor microscopy in human nervous tissue with quantitative correlation based on direct histological comparison

Brian Hansen, Jeremy J. Flint, Choong Heon-Lee, Michael Fey, Franck Vincent, Michael A. King, Peter Vestergaard-Poulsen, Stephen J. Blackband
2011 NeuroImage  
In a previous study, we attempted to validate for the first time such predictions at microscopic resolutions in spinal cords of the rat and pig using a semi-quantitative analysis method.  ...  Thanks to its proven utility in both clinical and research applications, diffusion tensor tractography (DTT) is regularly employed as a means of delineating white matter tracts.  ...  Frandsen (CFIN) for discussions. We would like to thank the AMRIS facility at the University of Florida McKnight Brain Institute for institutional support.  ... 
doi:10.1016/j.neuroimage.2011.04.052 pmid:21575730 pmcid:PMC3138905 fatcat:y76zo6i2b5amford7pvow65dgq

Development of an Interactive Immersion Environment for Engendering Understanding about Nanotechnology

Konrad J. Schönborn, Gunnar E. Höst, Karljohan E. Lundin Palmerius, Jennifer Flint
2014 International Journal of Virtual and Personal Learning Environments  
In rising to the challenge, this paper reports the developmental phase of a research agenda concerned with building and investigating a virtual environment for communicating nano-ideas.  ...  The advent of nanoscientific applications in modern life is swiftly in progress.  ...  The authors thank the school pupil volunteers for their kind participation.  ... 
doi:10.4018/ijvple.2014040104 fatcat:v3cax2cbxvapxo6itg7dsrtln4
« Previous Showing results 1 — 15 out of 1,587 results