Search results for "working"

showing 10 items of 2747 documents

Randomized renaming in shared memory systems.

2021

Abstract Renaming is a task in distributed computing where n processes are assigned new names from a name space of size m . The problem is called tight if m = n , and loose if m > n . In recent years renaming came to the fore again and new algorithms were developed. For tight renaming in asynchronous shared memory systems, Alistarh et al. describe a construction based on the AKS network that assigns all names within O ( log n ) steps per process. They also show that, depending on the size of the name space, loose renaming can be done considerably faster. For m = ( 1 + ϵ ) ⋅ n and constant ϵ , they achieve a step complexity of O ( log log n ) . In this paper we consider tight as well as loos…

Discrete mathematicsShared memory modelSpeedupComputer Networks and CommunicationsComputer science020206 networking & telecommunications02 engineering and technologyParallel computingTheoretical Computer ScienceRandomized algorithmTask (computing)Constant (computer programming)Shared memoryArtificial IntelligenceHardware and ArchitectureAsynchronous communicationDistributed algorithm0202 electrical engineering electronic engineering information engineeringOverhead (computing)020201 artificial intelligence & image processingSoftware
researchProduct

Minimum node weight spanning trees searching algorithm for broadcast transmission in sensor networks

2017

A minimum node weight spanning tree in a weighted, directed graph is a tree whose node with maximum out-weight is minimal among all spanning trees. This type of trees are important because they appear in the solutions of the maximum lifetime broadcasting problem in wireless sensor networks. In a complete graph build of N nodes there are NN-2 spanning trees and to find such trees it is necessary to perform more than O(NN-2) operations. In this paper we propose an algorithm for searching the minimum node weight spanning trees in the graph. In the proposed algorithm, instead of calculating the symbolic determinant of the generalized Laplacian matrix, numerical operations on its exponents are p…

Discrete mathematicsSpanning treeComputer sciencegraph theory010401 analytical chemistryDecision treeComplete graph020206 networking & telecommunications02 engineering and technologyDirected graphspanning trees01 natural sciences0104 chemical sciencessensor networksSearch algorithm0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)Algorithm designLaplacian matrixdata broadcasting2017 Twelfth International Conference on Digital Information Management (ICDIM)
researchProduct

Uncountable Realtime Probabilistic Classes

2018

We investigate the minimal cases for realtime probabilistic machines that can define uncountably many languages with bounded error. We show that logarithmic space is enough for realtime PTMs on unary languages. On non-unary case, we obtain the same result for double logarithmic space, which is also tight. When replacing the work tape with a few counters, we can still achieve similar results for unary linear-space two-counter automata, unary sublinear-space three-counter automata, and non-unary sublinear-space two-counter automata. We also show how to slightly improve the sublinear-space constructions by using more counters.

Discrete mathematicsUnary operationComputer scienceProbabilistic logic020206 networking & telecommunicationsComputerApplications_COMPUTERSINOTHERSYSTEMS0102 computer and information sciences02 engineering and technology01 natural sciencesLogarithmic spaceBounded error010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringComputer Science (miscellaneous)020201 artificial intelligence & image processingUncountable setBinary caseInternational Journal of Foundations of Computer Science
researchProduct

The Spanning Tree based Approach for Solving the Shortest Path Problem in Social Graphs

2016

Nowadays there are many social media sites with a very large number of users. Users of social media sites and relationships between them can be modelled as a graph. Such graphs can be analysed using methods from social network analysis (SNA). Many measures used in SNA rely on computation of shortest paths between nodes of a graph. There are many shortest path algorithms, but the majority of them suits only for small graphs, or work only with road network graphs that are fundamentally different from social graphs. This paper describes an efficient shortest path searching algorithm suitable for large social graphs. The described algorithm extends the Atlas algorithm. The proposed algorithm so…

Discrete mathematicsta113Mathematical optimizationSpanning treesocial network analysisComputer scienceAtlas algorithm020206 networking & telecommunications02 engineering and technologyLongest path problemverkostoanalyysiWidest path problemOdnoklassnikiEuclidean shortest pathShortest Path Faster Algorithmsocial graph020204 information systemsShortest path problem0202 electrical engineering electronic engineering information engineeringK shortest path routingCanadian traveller problemshortest path problemMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

The indirect force method

1990

Abstract It is known that the matrix force method shows some advantages over the displacement method for certain classes of problems, particularly in optimization and in the stress concentration analysis. Notwithstanding this, few efforts have been made to employ this method in engineering problems. In this paper, within the elastic analysis of frames and trusses, the indirect force method, utilizing beam-node type finite elements, is proposed. This method is based on the kinematical and mechanical study of nodes and of beams, the latter connected with the nodes by their first extremes according to a preliminary arrangement. In this formulation kinematical singularities are included, in the…

DiscretizationMechanical EngineeringMathematical analysisFrame (networking)Structure (category theory)TrussGeometryFinite element methodComputer Science ApplicationsMatrix (mathematics)Modeling and SimulationGeneral Materials ScienceGravitational singularityCivil and Structural EngineeringEquation solvingMathematicsComputers & Structures
researchProduct

A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms

2013

Count-to-infinity problem is characteristic for routing algorithms based on the distributed implementation of the classical Bellman-Ford algorithm. In this paper a probabilistic solution to this problem is proposed. It is argued that by the use of a Bloom Filter added to the routing message the routing loops will with high probability not form. An experimental analysis of this solution for use in Wireless Sensor Networks in practice is also included.

Distance-vector routing protocolLink-state routing protocolComputer scienceAnt colony optimization algorithmsComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSMultipath routingComputer Science::Networking and Internet ArchitectureProbabilistic logicPath vector protocolProbabilistic analysis of algorithmsRouting (electronic design automation)Algorithm
researchProduct

Dsdivn: A Distributed Software-Defined Networking Architecture for Infrastructure-Less Vehicular Networks

2017

International audience; In the last few years, the emerging network architecture paradigm of Software-Defined Networking (SDN), has become one of the most important technology to manage large scale networks such as Vehicular Ad-hoc Networks (VANETs). Recently, several works have shown interest in the use of SDN paradigm in VANETs. SDN brings flexibility, scalability and management facility to current VANETs. However, almost all of proposed Software-Defined VANET (SDVN) architectures are infrastructure-based. This paper will focus on how to enable SDN in infrastructure-less vehicular environments. For this aim, we propose a novel distributed SDN-based architecture for uncovered infrastructur…

Distributed control[SPI]Engineering Sciences [physics]Infrastructure-less zones[SPI] Engineering Sciences [physics]ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSVehicular Ad-hoc networksMobile controllers ClusteringSoftware-Defined networking
researchProduct

A resilient distributed measurement system for smart grid application

2020

Since the production of energy from renewable energy sources is strongly increasing, the migration from the classical electric grid toward the smart grid is becoming a reality. Distribution System Operators, along with the control of the entire network and its stability, need to address the security and the reliability of the communication channels and the data itself. In this paper a solution is proposed to address these issues. It is based on a distributed measurement system that relies on a wireless network as well as a redundant Power Line communication system in order to transfer the electrical measures to a centralized SCADA server. The collected data are used to run a power flow algo…

Distributed measurement systemsWireless networkbusiness.industryComputer scienceReliability (computer networking)Distributed computingSmart gridGridelectric load flowHuman-machine interfaceslaw.inventionPower-line communicationSmart gridSCADAlawElectrical networknetwork securityElectricitySCADAbusinesscarrier transmission on power linesSettore ING-INF/07 - Misure Elettriche E Elettroniche
researchProduct

Preliminary results on the electrostatic double-layer force between two surfaces with high surface potentials

1998

Abstract The aim of this study is to measure interaction forces between surfaces with high electric potentials in aqueous electrolyte solutions. Therefore the force between a gold sample and a gold sphere attached to the end of an atomic force microscope cantilever was measured. Gold sample and sphere were electrically connected and served as the working electrode. A potential was applied via a platinized platinum electrode. Experimental results are compared to forces approximated with the Poisson-Boltzmann theory.

Double layer (biology)CantileverWorking electrodePhysics::Instrumentation and DetectorsAtomic force microscopyElectrostatic force microscopeSurface forceAnalytical chemistrychemistry.chemical_elementMolecular physicsColloid and Surface ChemistrychemistryElectrodePlatinumColloids and Surfaces A: Physicochemical and Engineering Aspects
researchProduct

In-Work Benefits for Married Couples: An Ex-Ante Evaluation of EITC and WTC Policies in Italy

2012

This paper investigates labor supply and redistributive effects of in-work benefits for Italian married couples using a tax-benefit microsimulation model and a multi-sectoral discrete choice model of labor supply. We consider in-work benefits based on the Earned Income Tax Credit (EITC) and the Working Tax Credit (WTC) existing in the US and the UK, respectively. The standard design of these income support mechanisms is however augmented with a premium for two-earner households to avoid potential disincentive effects on secondary earners. Revenue neutral policy simulations show that our reforms may greatly improve the current Italian tax-benefit system in terms of both incentive and redistr…

Double taxationLabour economicsValue-added taxWorking tax creditTax creditIncome SupportEarned income tax creditState income taxEconomicsIndirect taxSSRN Electronic Journal
researchProduct