Search results for "RDW"

showing 10 items of 1401 documents

Improving computation efficiency using input and architecture features for a virtual screening application

2023

Virtual screening is an early stage of the drug discovery process that selects the most promising candidates. In the urgent computing scenario it is critical to find a solution in a short time frame. In this paper, we focus on a real-world virtual screening application to evaluate out-of-kernel optimizations, that consider input and architecture features to improve the computation efficiency on GPU. Experiment results on a modern supercomputer node show that we can almost double the performance. Moreover, we implemented the optimization using SYCL and it provides a consistent benefit with the CUDA optimization. A virtual screening campaign can use this gain in performance to increase the nu…

Computational Engineering Finance and Science (cs.CE)FOS: Computer and information sciencesComputer Science - Distributed Parallel and Cluster ComputingHardware Architecture (cs.AR)Distributed Parallel and Cluster Computing (cs.DC)Computer Science - Computational Engineering Finance and ScienceComputer Science - Hardware Architecture
researchProduct

Parallelization of adaptive MC integrators

2019

Abstract Monte Carlo (MC) methods for numerical integration seem to be embarrassingly parallel on first sight. When adaptive schemes are applied in order to enhance convergence however, the seemingly most natural way of replicating the whole job on each processor can potentially ruin the adaptive behaviour. Using the popular VEGAS-Algorithm as an example an economic method of semi-micro parallelization with variable grain-size is presented and contrasted with another straightforward approach of macro-... Title of program: pvegas.c Catalogue Id: ADGU_v1_0 Nature of problem Monte Carlo (MC) methods for numerical integration seem to be embarassingly parallel on first sight. When adaptive schem…

Computational MethodComputational PhysicsFOS: Electrical engineering electronic engineering information engineeringProgramming LanguageComputer HardwareSoftware
researchProduct

FlexibleSUSY—A spectrum generator generator for supersymmetric models

2019

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018) Abstract We introduce FlexibleSUSY, a Mathematica and C++ package, which generates a fast, precise C++ spectrum generator for any SUSY model specified by the user. The generated code is designed with both speed and modularity in mind, making it easy to adapt and extend with new features. The model is specified by supplying the superpotential, gauge structure and particle content in a SARAH model file; specific boundary conditions e.g. at the GUT, weak or intermediate scales are defined in a separate F... Title of program: FlexibleSUSY Catalogue Id: AEVI_v1_0 Nature of problem Determini…

Computational PhysicsFOS: Electrical engineering electronic engineering information engineeringProgramming LanguagesInterdisciplinary sciencesOtherComputer HardwareSoftwareElementary Particles
researchProduct

Use of wavelet for image processing in smart cameras with low hardware resources

2013

International audience; Images from embedded sensors need digital processing to recover high-quality images and to extract features of a scene. Depending on the properties of the sensor and on the application, the designer fits together different algorithms to process images. In the context of embedded devices, the hardware supporting those applications is very constrained in terms of power consumption and silicon area. Thus, the algorithms have to be compliant with the embedded specifications i.e. reduced computational complexity and low memory requirements. We investigate the opportunity to use the wavelet representation to perform good quality image processing algorithms at a lower compu…

Computational complexity theoryComputer scienceImage qualityEmbedded systemsComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage processing02 engineering and technology[SPI]Engineering Sciences [physics]WaveletDigital image processing0202 electrical engineering electronic engineering information engineering[ SPI ] Engineering Sciences [physics]Computer visionSmart cameraDWTDigital signal processingDenoisingDemosaicingbusiness.industry020202 computer hardware & architectureDemosaicingRecognitionHardware and Architecture020201 artificial intelligence & image processingArtificial intelligencebusinessWaveletSoftwareComputer hardware
researchProduct

Equivalence closure in the two-variable guarded fragment

2015

We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which an equivalence closure operator can be applied to two distinguished binary predicates. We show that the satisfiability and finite satisfiability problems for this logic are 2-ExpTime-complete. This contrasts with an earlier result that the corresponding problems for the full two-variable logic with equivalence closures of two binary predicates are 2-NExpTime-complete.

Computational complexity theoryLogiccomputational complexityguarded fragmentsatisfiability problemBinary numberTheoretical Computer ScienceCombinatoricsArts and Humanities (miscellaneous)Computer Science::Logic in Computer ScienceClosure operatorEquivalence (formal languages)MathematicsDiscrete mathematicssatisfiability problemcomputational complexitydecidabilityequivalence closureSatisfiabilityDecidabilityTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESClosure (computer programming)Hardware and ArchitectureTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSBoolean satisfiability problemSoftwareJournal of Logic and Computation
researchProduct

Demo - MAC learning: Enabling automatic combination of elementary protocol components

2016

Cognition as a way to deal with the challenges of future wireless networks has been largely considered by the recent literature, with a main focus on physical layer adaptability and dynamic spectrum access. In this demo, we show how a simple cognition mechanism can be also applied at the MAC layer, by exploiting the emerging paradigm of programmable wireless cards. The idea is using the formal definition of simple MAC protocol components and platform-independent representation of channel events gathered from the wireless node, for emulating the behavior of protocols which are not currently running on the network, learning about their expected performance, and dynamically reconfiguring the w…

Computer Networks and CommunicationHardware and ArchitectureSettore ING-INF/03 - TelecomunicazioniSoftware
researchProduct

Adaptive Service Offloading for Revenue Maximization in Mobile Edge Computing With Delay-Constraint

2019

Mobile Edge Computing (MEC) is an important and effective platform to offload the computational services of modern mobile applications, and has gained tremendous attention from various research communities. For delay and resource constrained mobile devices, the important issues include: 1) minimization of the service latency; 2) optimal revenue maximization; 3) high quality-of-service (QoS) requirement to offload the computational service offloading. To address the above issues, an adaptive service offloading scheme is designed to provide the maximum revenue and service utilization to MEC. Unlike most of the existing works, we consider both the delay-tolerant and delay-constraint services i…

Computer Networks and CommunicationsComputer scienceCloud computing02 engineering and technologypilvipalvelutmobiililaitteet0203 mechanical engineeringServer0202 electrical engineering electronic engineering information engineeringRevenueesitysanalyysiperformance analysisEdge computingta113suorituskykyMobile edge computingbusiness.industry020206 networking & telecommunications020302 automobile design & engineeringComputer Science Applicationsadaptive service offloadingHardware and ArchitectureSignal Processingmobile edge computingrevenue maximizationbusinessMobile deviceInformation SystemsComputer networkIEEE Internet of Things Journal
researchProduct

Evaluation of Structural and Temporal Properties of Ego Networks for Data Availability in DOSNs

2017

The large diffusion of Online Social Networks (OSNs) has influenced the way people interact with each other. OSNs present several drawbacks, one of the most important is the problem of privacy disclosures. Distributed Online Social Networks (DOSNs) have been proposed as a valid alternative solution to solve this problem. DOSNs are Online Social Networks implemented on a distributed platform, such as a P2P system or a mobile network. However, the decentralization of the control presents several challenges, one of the main ones is guaranteeing data availability without relying on a central server. To this aim, users’ data allocation strategies have to be defined and this requires the knowledg…

Computer Networks and CommunicationsComputer scienceCommunity detection; Data availability; DOSN; P2P; Social networks; Temporal affinity; Software; Information Systems; Hardware and Architecture; Computer Networks and CommunicationsControl (management)Information System02 engineering and technologySocial networksField (computer science)Task (project management)Order (exchange)0202 electrical engineering electronic engineering information engineeringDOSNSocial networkStructure (mathematical logic)P2PCommunity detectionSocial networkbusiness.industry020206 networking & telecommunicationsData scienceData availabilityData availabilityHardware and ArchitectureCellular network020201 artificial intelligence & image processingTemporal affinitybusinessSoftwareInformation SystemsComputer networkMobile Networks and Applications
researchProduct

Efficiently using connectivity information between triangles in a mesh for real-time rendering

2004

Triangle meshes are the most popular standard model used to represent polygonal surfaces. Drawing these meshes as a set of independent triangles involves sending a vast amount of information to the graphics system. Taking advantage of the connectivity information between the triangles in a mesh dramatically diminishes the amount of information the graphics system must handle. Multiresolution Triangle Strips (MTS) represent a triangle mesh as a collection of multiresolution triangles strips. These strips are the basis of both the storage and the rendering stage. The coherence between the extraction of two levels of detail is used in the model in order to decrease the visualisation time.

Computer Networks and CommunicationsComputer scienceComputer Science::Computational GeometryReal-time renderingVisualizationRendering (computer graphics)Computer Science::GraphicsHardware and ArchitectureComputer graphics (images)Triangle meshPolygonPolygon meshGraphicsInteractive visualizationSoftwareLevel of detailComputingMethodologies_COMPUTERGRAPHICSFuture Generation Computer Systems
researchProduct

Practical considerations for acoustic source localization in the IoT era: Platforms, energy efficiency, and performance

2019

The rapid development of the Internet of Things (IoT) has posed important changes in the way emerging acoustic signal processing applications are conceived. While traditional acoustic processing applications have been developed taking into account high-throughput computing platforms equipped with expensive multichannel audio interfaces, the IoT paradigm is demanding the use of more flexible and energy-efficient systems. In this context, algorithms for source localization and ranging in wireless acoustic sensor networks can be considered an enabling technology for many IoT-based environments, including security, industrial, and health-care applications. This paper is aimed at evaluating impo…

Computer Networks and CommunicationsComputer scienceDistributed computingContext (language use)02 engineering and technologyParallel architectures0202 electrical engineering electronic engineering information engineeringParallel processingWirelessSignal processingMulti-core processorHeterogeneous (hybrid) systemsbusiness.industry020206 networking & telecommunicationsAcoustic source localizationWireless acoustic sensor networks (WASNs)Computer Science ApplicationsEnergy efficiencyHardware and ArchitectureSignal Processing020201 artificial intelligence & image processingElectrónicabusinessWireless sensor networkSource localizationInformation SystemsEfficient energy useAcoustic signal processing
researchProduct