Search results for "Parallel"

showing 10 items of 667 documents

The horospherical Gauss-Bonnet type theorem in hyperbolic space

2006

We introduce the notion horospherical curvatures of hypersurfaces in hyperbolic space and show that totally umbilic hypersurfaces with vanishing cur- vatures are only horospheres. We also show that the Gauss-Bonnet type theorem holds for the horospherical Gauss-Kronecker curvature of a closed orientable even dimensional hypersurface in hyperbolic space. + (i1) by using the model in Minkowski space. We introduced the notion of hyperbolic Gauss indicatrices slightly modified the definition of hyperbolic Gauss maps. The notion of hyperbolic indicatrices is independent of the choice of the model of hyperbolic space. Using the hyperbolic Gauss indicatrix, we defined the principal hyperbolic curv…

Pure mathematicsMathematics::Dynamical SystemsGauss-Bonnet type theoremHyperbolic groupMathematics::Complex VariablesGeneral MathematicsHyperbolic spaceMathematical analysisHyperbolic manifoldUltraparallel theoremhorospherical geometryhyperbolic Gauss mapshypersurfacesRelatively hyperbolic groupMathematics::Geometric Topology53A3553A0558C27hyperbolic spaceHyperbolic angleMathematics::Differential GeometryMathematics::Representation TheoryHyperbolic triangleHyperbolic equilibrium pointMathematics
researchProduct

On the notion of parallel transport on RCD spaces

2019

We propose a general notion of parallel transport on RCD spaces, prove an unconditioned uniqueness result and existence under suitable assumptions on the space. peerReviewed

Pure mathematicsParallel transportparallel transportGeneral Mathematics010102 general mathematicsSpace (mathematics)metriset avaruudet01 natural sciencesfunktioteoriaRCD spacesSettore MAT/05 - Analisi MatematicaParallel transportMathematics::Metric GeometryUniqueness0101 mathematicsMathematicsRevista Matemática Iberoamericana
researchProduct

Energy-Efficiency and Coverage Quality Management for Reliable Diagnostics in Wireless Sensor Networks

2020

International audience; The processing of data and signals provided by sensors aims at extracting rnrelevant features which can be used to assess and diagnose the health state rnof the monitored targets. Nevertheless, Wireless Sensor Networks (WSNs) present rna number of shortcomings that have an impact on the quality of the gathered rndata at the sink level, leading to imprecise diagnostics rnof the observed targets. To improve data accuracy, two main critical and related issues, namely the energy consumption and coverage quality, need to be considered. The goal is to maximize the network lifetime while guaranteeing the complete coverage of all the targets. Unfortunately, these performance…

Quality managementComputer scienceComputer Networks and CommunicationsReal-time computingCorrectness proofs020206 networking & telecommunicationsEnergy consumption02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputer Science Applications[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Distributed algorithmControl and Systems Engineering[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]Data accuracy0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]Electrical and Electronic Engineering[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Wireless sensor networkEfficient energy use
researchProduct

Lattice quantum hadrodynamics on a CRAY Y-MP

1992

Quantum corrections to the mean-field equation of state for nuclear matter are estimated in a lattice simulation of quantum hadrodynamics on a CRAY Y-MP. In contrast with lattice quantum chromodynamics, where coordinate space methods are the standard, the calculations are carried out in momentum space and on nonhypercubic (irregular) lattices. The quantum corrections to the known, mean-field equation of state were found to be considerable. The time frame of the project and the large computational needs of the program required the use of powerful supercomputers, like the CRAY Y-MP, which are capable of performing at a very high computing speed by using both vector and parallel hardware, the …

Quantum chromodynamicsEquation of stateComputer scienceNumerical analysisMonte Carlo methodPosition and momentum spaceParallel computingNuclear matterSupercomputerTheoretical Computer ScienceComputational scienceHardware and ArchitectureQuantum hadrodynamicsLinear algebraCoordinate spaceQuantumSoftwareInformation SystemsThe Journal of Supercomputing
researchProduct

Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling

2009

Hierarchical scheduling has recently been used to provide temporal isolation to embedded virtualised systems. Response time analysis is a common way to derive a schedulability test for these systems. This paper points out that response time analysis for hierarchical fixed-priority scheduling found in the literature is only exact for tasks of the highest priority domain. For the rest of the tasks is an upper bound. In our work, we provide the exact analysis and we compare it with previously published works.

Rate-monotonic schedulingTheoretical computer scienceComputer scienceServerResponse timeDynamic priority schedulingParallel computingTemporal isolationUpper and lower boundsFair-share schedulingScheduling (computing)2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
researchProduct

Accelerating H.264 inter prediction in a GPU by using CUDA

2010

H.264/AVC defines a very efficient algorithm for the inter prediction but it takes too much time. With the emergence of General Purpose Graphics Processing Units (GPGPU), a new door has been opened to support this video algorithm into these small processing units. In this paper, a forward step is developed towards an implementation of the H.264/AVC inter prediction algorithm into a GPU using Compute Unified Device Architecture (CUDA). The results show a negligible rate distortion drop with a time reduction on average up to 93.6%.

Reduction (complexity)CUDACoprocessorComputer scienceImage processingParallel computingGeneral-purpose computing on graphics processing unitsGraphicsData compression2010 Digest of Technical Papers International Conference on Consumer Electronics (ICCE)
researchProduct

Optimizing H.264/AVC interprediction on a GPU-based framework

2011

H.264/MPEG-4 part 10 is the latest standard for video compression and promises a significant advance in terms of quality and distortion compared with the commercial standards currently most in use such as MPEG-2 or MPEG-4. To achieve this better performance, H.264 adopts a large number of new/improved compression techniques compared with previous standards, albeit at the expense of higher computational complexity. In addition, in recent years new hardware accelerators have emerged, such as graphics processing units (GPUs), which provide a new opportunity to reduce complexity for a large variety of algorithms. However, current GPUs suffer from higher power consumption requirements because of…

Reduction (complexity)Computational Theory and MathematicsComputer Networks and CommunicationsComputer scienceDistortionMotion estimationSymmetric multiprocessor systemEnergy consumptionParallel computingSoftwareComputer Science ApplicationsTheoretical Computer ScienceData compressionConcurrency and Computation: Practice and Experience
researchProduct

An exact algorithm for preventive maintenance planning of series-parallel systems

2009

Reliability is a meaningful parameter in assessing the performance of systems such as chemical processing facilities, power plant, aircrafts, ships, etc. In the literature, reliability optimization is widely considered during the system design phase and it is carried out by an opportune selection of both system components and redundancy. On the other hand, the problem of maintaining a required level of reliability by an opportune maintenance policy has been poorly examined. The paper tackles this problem for a system whose major components can be maintained only during a planned system downtime. An exact algorithm is proposed in order to single out the set of components that must be maintai…

Reliability optimizationDowntimeEngineeringOperations researchPower stationbusiness.industrySeries and parallel circuitsPreventive maintenanceIndustrial and Manufacturing EngineeringReliability engineeringExact algorithmMaintenance optimization Selective maintenance Reliability Kettele’s algorithmSettore ING-IND/17 - Impianti Industriali MeccaniciRedundancy (engineering)Systems designSafety Risk Reliability and QualitybusinessSettore ING-IND/16 - Tecnologie E Sistemi Di Lavorazione
researchProduct

Combined IT and power supply infrastructure sizing for standalone green data centers

2021

International audience; In this work, we propose a two-step methodology for designing and sizing a data center solely powered by local renewable energy. The first step consists in determining the necessary IT equipment for processing a given IT workload composed of batch and service tasks. We propose an adapted binary search algorithm and prove its optimality to find the minimum number of servers to handle the IT workload. When the IT sizing is computed, the second step consists in defining the supplying electrical infrastructure using wind turbines and photovoltaic panels as primary sources. Batteries and a hydrogen system are added as secondary sources for short- and long-term energy stor…

Renewable energyBinary search algorithmWind powerGeneral Computer Sciencebusiness.industryComputer scienceInfrastructure sizing020209 energyReal-time computingPhotovoltaic systemSustainable Computing: Informatics and Systems Renewable energy020206 networking & telecommunicationsWorkload02 engineering and technology7. Clean energyGreen data centerSizingEnergy storageServer0202 electrical engineering electronic engineering information engineeringData center[INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Electrical and Electronic EngineeringbusinessSustainable Computing: Informatics and Systems
researchProduct

On Integrating Action Research and Design Research

2010

IS research has been criticized for having little influence on practice. One approach to achieving more relevance is to conduct research using appropriate research methods that balance the interests of both researchers and practitioners. This chapter examines the similarities between two methods that address this mandate by adopting a proactive stance to investigating information systems in organizations. These two approaches, action research and design research, both directly intervene in “real-world” domains and effect changes in these domains. We investigate these similarities by examining exemplars of each type of research according to the criteria of the other. Our analysis reveals int…

Research designBalance (metaphysics)Management scienceInformation systemMandateInternational joint ventureRelevance (information retrieval)SociologyAction researchParallels
researchProduct