نتایج جستجو برای: gcc

تعداد نتایج: 2188  

Journal: :Formal Methods in System Design 2012
Justin Seyster Ketan Dixit Xiaowan Huang Radu Grosu Klaus Havelund Scott A. Smolka Scott D. Stoller Erez Zadok

We present the INTERASPECT instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plug-in support in the latest release of GCC makes it an attractive platform for runtime instrumentation, as GCC plug-ins can directly add instrumentation by transforming the compiler’s intermediate representation. Such transformations, however, require expert knowledge of GCC in...

2012
Eriko Nagai Hironobu Awazu Nagisa Ishiura Naoya Takeda

This paper presents a method of testing validity of arithmetic optimization of C compilers using random programs. Compilers are tested by programs which contain randomly generated arithmetic expressions. Undefined behavior (such as zero division and signed overflow) of the C language is carefully avoided during random program generation. This is based on precise computation of expected values o...

2010
Dmitry Melnik Andrey Belevantsev Dmitry Plotnikov Semun Lee

This paper reports on the work for optimizing GCC on ARM to improve performance of libevas rasterization library. We used manual profiling and analysis as well as ACOVEA [3] compiler options tuning tool to identify weak places and tune GCC optimization parameters. We identified a number of deficiencies in GCC optimizations with libevas on ARM, including GCSE, register allocation, autovectorizat...

1997
Michael S. Brandstein

Generalized Cross-Correlation (GCC) has been the traditional method for estimating the relative time-delay associated with the speech signals received by a pair of microphones in a reverberant, noisy environment. The ltering criterion employed is either focussed on the signal degradations due to additive noise or those due exclusively to multipath channel eeects. There has been relatively littl...

Journal: :EMBO reports 1995
Robert G Bryant Mark A Johnson Peter J Rossky

The Water Sector Government Coordinating Council (GCC) is pleased to concur on the 2007 Water Sector-Specific Plan (SSP). This plan provides the overarching framework for integrating Water Sector critical infrastructure and key resource protection efforts into a unified program coordinated by the Department of Homeland Security (DHS). Through direct collaboration, the Water Sector Coordinating ...

2012
Majid Taghavi

This paper aims to explore the potential role of the GCC states on their way to recovery, with a special reference to potential impact of remittances on their macroeconomic indicators. In effect, this study attempts to investigate the direction of causality between main macro indicators and remittances, and to identify whether the latter helps or hinders economic recovery of the GCC states. In ...

2009
Antoniu Pop Sebastian Pop Jan Sjödin

Multi-cores and multi-processors became ubiquitous during the last few years, and the trend is to increase the number of simple, power-efficient, and slower cores per chip. One of the results is that the performance of single-threaded applications did not significantly improve, or even declined, on new processors, which heightened the interest in compiler automatic parallelization techniques. O...

Background. Volleyball is a popular non-contact sport around the globe. Unfortunately, volleyball players often suffer from an ankle sprain and knee and shoulder injuries. Proper techniques, education, and preventive exercises such as adequate warm-ups can reduce the risk of injury. Objectives. This study aimed to investigate and compare the implementation of the Oslo Sports Trauma Research Ce...

Journal: :Turkish journal of medical sciences 2015
Muhsin Eraslan Eren Çerman Osman Çekiç Sevcan Balci Volkan Dericioğlu Özlem Sahin Devran Süer Biman Chabou Emine Neşe Tuncer Elmaci

BACKGROUND/AIM To evaluate, in vivo, the optical coherence tomography (OCT) of the retinal nerve fiber layer (RNFL) and ganglion cell complex (GCC) in patients with normal-tension glaucoma (NTG) and those with Alzheimer disease (AD) in comparison with healthy subjects. MATERIALS AND METHODS This cross-sectional study included 18 patients with NTG, 20 with AD, and 20 control subjects. An ophth...

2017
Verónica G. Vergara Larrea Wael R. Elwasif Oscar Hernandez Cesar Philippidis Randy Allen

OpenACC is a directive-based API that extends the C/C++ and Fortran base languages to program accelerators and multicores. Several commercial implementations are available that support OpenACC including PGI, Cray, and PathScale. More recently, GCC started adding support for OpenACC and is expected to fully support the OpenACC 2.0 specification in the upcoming GCC 7 release. However, to our know...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید