Results 11 to 20 of about 382,990 (180)
A framework for FPGA functional units in high performance computing [PDF]
, 2010 FPGAs make it practical to speed up a program by defining hardware functional units that perform calculations faster than can be achieved in software. Specialised digital circuits avoid the overhead of executing sequences of instructions, and they make
Koltes, A., O'Donnell, J.T.
core +1 more source
A Comparison of the Pac-X Trans-Pacific Wave Glider Data and Satellite Data (MODIS, Aquarius, TRMM and VIIRS) [PDF]
, 2014 Tracy A. Villareal, Marine Science Institute and Department of Marine Science, The University of Texas at Austin, Port Aransas, Texas, United States of AmericaCara Wilson, Environmental Research Division, Southwest Fisheries Science Center, National ...
Villareal, Tracy A., Wilson, Cara
core +3 more sources
A step-indexed model of substructural state
ACM SIGPLAN International Conference on Functional Programming, 2005 The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects make it possible to perform operations that would otherwise be prohibited (e.g ...
Amal J. Ahmed, M. Fluet, Greg Morrisett
semanticscholar +1 more source
Construction of symmetry triangular fuzzy number procedure (STFNP) using statistical information for autoregressive forecasting [PDF]
, 2020 Single-point data are used for data collection. However, data collected by various data collection methods are often exposed to uncertainties that may affect the information presented by the quantitative results.
Che Lah, Muhammad Shukri
core
Design and Implementation of Real-Time Transactional Memory [PDF]
, 2010 —Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is also appealing for real-time systems.
Hilber, Peter, Schoeberl, Martin
core +2 more sources
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
, 2012 In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects.
Tews, Hendrik +2 more
core +2 more sources
, 2005 This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed.
Boussinot, Frédéric
core +1 more source
Advanced Energy and Sustainability Research, EarlyView.Hydrogen‐powered aviation offers a transformative pathway to zero‐emission flight by eliminating in‐flight CO2 emissions. Key considerations include propulsion systems (fuel cells and hydrogen combustion), cryogenic storage and insulation challenges, infrastructure and cost barriers, and supply‐chain constraints.
Mubasshira +4 more
wiley +1 more source
PM&R, EarlyView.Abstract Climate‐driven disasters have disproportionate and often devastating consequences on individuals with disabilities. Warming ocean and air temperatures are fueling more extreme tropical cyclones, further endangering those living in at‐risk regions.
Mollie Andreae +4 more
wiley +1 more source
Formal Type Soundness for Cyclone's Region System [PDF]
, 2001 Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without sacrificing type-safety.
Cheney, James +5 more
core +2 more sources