Filters








664,934 Hits in 5.4 sec

Local Verification of Global Invariants in Concurrent Programs [chapter]

Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies
2010 Lecture Notes in Computer Science  
The object owner keeps track of the handles, and can for example implement a simple read-write lock with a single ghost int.  ...  Local Verification of Global Invariants in Concurrent Programs 5/13/13 LCI in depth -Verify Procedure type Low2 { Counter cnt; int floor; inv(floor ≤ cnt.n) ghost Handle cntH; inv(cntH.ctrl.owner = this  ... 
doi:10.1007/978-3-642-14295-6_42 fatcat:c2nqbeotd5hzhi7zd4r2o4huay

A localizing directory coherence protocol

Collin McCurdy, Charles Fischer
2004 Proceedings of the 3rd workshop on Memory performance issues in conjunction with the 31st international symposium on computer architecture - WMPI '04  
It proposes a new multiprocessor architecture -which has both a global address-space and multiple processor-local addressspaces -with new memory instructions and a new coherence protocol to manage the  ...  First, we solidify the semantics of instruction set extensions that enable "localization" -the act of moving data from the global address-space to a processor's local address-space -thus clearly defining  ...  In addition, each of those two states requires two more transient states to handle the situation when the localizing processor loses the race.  ... 
doi:10.1145/1054943.1054947 dblp:conf/wmpi/McCurdyF04 fatcat:zruxjundvffrtjc3fhufocb7ma

Inductive Proof Outlines for Exceptions in Multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
2006 Electronical Notes in Theoretical Computer Science  
the control points and stack structures within the local and global states.  ...  A global state σ stores for each currently existing object α its instance state σ(α) with the invariant property σ(α)(this) = α.  ... 
doi:10.1016/j.entcs.2005.12.072 fatcat:fzd6wgbssjch5hmene5kclq7bi

High availability and reliability in the itanium processor

Nhon Quach
2000 IEEE Micro  
encoding, error detection, and correction.line with bad modified state (that is, 1101) to a line with clean modified state (that is, 1111) and invalidates a line with other bad states.  ...  On error detection (in any of the ways in a set), the L2 cache controller will signal a local MCA if the cache line state is either shared or clean and will signal a global MCA if the cache line state  ... 
doi:10.1109/40.877951 fatcat:qrxmutins5dvdefyqyqw6m7nwq

Scaling Out Acid Applications with Operation Partitioning [article]

Habib Saissi, Marco Serafini, Neeraj Suri
2018 arXiv   pre-print
Typically, scaling out entails assigning a different partition of the application state to each server.  ...  OLTP applications with high workloads that cannot be served by a single server need to scale out to multiple servers.  ...  The handling of local and commutative operations is identical to the description in Algorithm 2, but Eliá optimizes the handling of global operations by executing them in parallel.  ... 
arXiv:1804.01942v1 fatcat:nun3ej6njvfmfp5ymajtxpwhce

A State Machine-Based Approach for Reliable Adaptive Distributed Systems

Leonardo Mostarda, Daniel Sykes, Naranker Dulay
2010 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems  
We provide a framework in which a state machine language is used to define logically centralised behaviour.  ...  Adaptive systems are often composed of distributed components that co-operate in order to achieve a global behaviour, and yet many approaches for adaptive systems are centralised or make strong assumptions  ...  The GOANNA platform gives to each host a manager which handles the consensus protocol and stores the local state machines.  ... 
doi:10.1109/ease.2010.19 fatcat:6gyyyhknerhqhciifx2wav2ijq

An intelligent connector based framework for dynamic architecture

Xin Peng, Wenyun Zhao, Liang Zhang, Yijian Wu
2005 The Fifth International Conference on Computer and Information Technology (CIT'05)  
In this paper, we introduce agents to act as intelligent connectors and the global coordinator.  ...  An intelligent connector based framework for dynamic architecture is proposed, in which the global agent and connector agents can perform auto-adaptation on the system-level and component-level respectively  ...  In our framework, each connector contains a state space, which can store and manage multiple state schemas for the component. Local event handling and auto-adaptation.  ... 
doi:10.1109/cit.2005.73 dblp:conf/IEEEcit/PengZZW05 fatcat:3tai5zz3fvb6llynb7bvylowlu

Global Stability of Predator-Prey System with Alternative Prey

Banshidhar Sahoo
2013 ISRN Biotechnology  
Bifurcation analysis is done with respect to predator's searching rate and handling time. Bifurcation analysis confirms the existence of global stability in presence of alternative prey.  ...  Existence and local stability conditions for interior equilibrium points are derived. Global stability conditions for interior equilibrium points are also found.  ...  Similar dynamics are shown with respect to handling time-taking �xed-searching rate. For higher predator's handling time, prey population, and alternative prey go to steady state.  ... 
doi:10.5402/2013/898039 pmid:25969782 pmcid:PMC4403593 fatcat:wzxrypwnfncq5gt7jsy47rknda

Random finite set for data association in multiple camera tracking

Nam Trung Pham, Richard Chang, Karianto Leman, Teck Wee Chua, Yue Wang
2011 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)  
In this paper, we propose a method to handle the data association of objects in multiple cameras under inaccurate ground plane homography by using the RFS Bayes filter.  ...  with RFS observation to obtain state estimate for each object in global scene.  ...  Next, the Hungarian algorithm and a voting method are applied to assign local state estimates to objects in the global scene.  ... 
doi:10.1109/icassp.2011.5946664 dblp:conf/icassp/PhamCLCW11 fatcat:td7kkmmvgbaupaty4kkxmoafgy

Page 228 of Sage Public Administration Abstracts Vol. 29, Issue 2 [page]

2002 Sage Public Administration Abstracts  
Moreover, the increasing professionalization of local governments makes them better equipped to handle an active international role.  ...  Growing impact of globalization upon city policies. Policy Studies Review 18(3):29-48, Autumn 2001 GLOBALIZATION. LOCAL GOVERNMENT. LOCAL POLITICS.  ... 

Trajectory-Based Dynamic Programming [chapter]

Christopher G. Atkeson, Chenggang Liu
2013 Cognitive Systems Monographs  
These local models, located at sampled states, help our function approximators handle sparsely sampled states.  ...  We note that value functions that are discontinuous in known locations, with known patterns, or in a relatively small area can also be handled with approaches that partition the space into regions with  ... 
doi:10.1007/978-3-642-36368-9_1 fatcat:cgeuj4zmbbd25cj6v46e53l7qy

Learning Contact Corrections for Handle-Based Subspace Dynamics

Cristian Romero, Dan Casas, Jesús Pérez, Miguel A. Otaduy
2021 Zenodo  
The method augments existing linear handle-based subspace formulations with nonlinear learning-based corrections parameterized by the same subspace.  ...  We propose a formulation of the model with nonlinear corrections applied on the local undeformed setting, and decoupling internal and external contact-driven corrections.  ...  We also thank Igor Santesteban for help with the comparisons, and Jorge López for the artwork in the worm and jelly examples.  ... 
doi:10.5281/zenodo.5595949 fatcat:eqdim5taebhn5iljnxhtx75mte

The Chimera II real-time operating system for advanced sensor-based control applications

D.B. Stewart, D.E. Schmitz, P.K. Khosla
1992 IEEE Transactions on Systems, Man and Cybernetics  
It has been designed as a local operating system, to be used in conjunction with a global operating system. It executes on one or more single board computers in a VMEbus-based system.  ...  These features include a real-time kernel with dynamic scheduling, global error handling, user signals, and two levels of device drivers; an enhanced collection of interprocessor communication mechanisms  ...  global error handling Multiprocessor Operations local state local shared memory variable table local stack user task 1 VME bus system servo task server (optional) global shared memory  ... 
doi:10.1109/21.199456 fatcat:d4ol44uogzgfjf4d4zpxovkoqm

HyMUSE: a multi-model framework for Hydrology

Inti Pelupessy, Niels Drost, Rolf Hut, Jerome Aerts, Simon Portegies Zwart, Arjen van Elteren, Gijs van den Oord, Ben van Werkhoven, Stevan Verhoeven, Berend Weel
2019 Zenodo  
-Combine global hydrological models with local hydrological models, written in different programming languages, -Recognize findable, accessible, interoperable, and reproducible (FAIR) practices.  ...  (iii) HyMUSE provides a number of interface services: unit handling, data structures, code state handling etc..  ... 
doi:10.5281/zenodo.3357683 fatcat:rd5bwzuwgva5rfe6o7i4m4khhm

Distributed Peer-to-Peer Control in Harness [chapter]

C. Engelmann, S. L. Scott, G. A. Geist
2002 Lecture Notes in Computer Science  
Group communication services achieve an agreement on an initial global state and a linear history of global state changes at all members of the distributed virtual machine.  ...  This global state is replicated to all members to easily recover from single, multiple and cascaded faults.  ...  A global state change is performed using a transaction, which modifies the local state of one or more members depending on their local and/or the global state during execution.  ... 
doi:10.1007/3-540-46080-2_76 fatcat:dgdmmcbvybaardhk5wgveh4zp4
« Previous Showing results 1 — 15 out of 664,934 results