Results 1 - 10 of 19,306

Linearizability: a correctness condition for concurrent objects

by Maurice P. Herlihy, Jeannette M. Wing , 1990
"... A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent object ..."
Abstract - Cited by 1178 (28 self) - Add to MetaCart
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent

Perspectives on Program Analysis

by Flemming Nielson , 1996
"... eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory in the form ..."
Abstract - Cited by 685 (35 self) - Add to MetaCart
eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory

Thresholding of statistical maps in functional neuroimaging using the false discovery rate.

by Christopher R Genovese , Nicole A Lazar , Thomas Nichols - NeuroImage , 2002
"... Finding objective and effective thresholds for voxelwise statistics derived from neuroimaging data has been a long-standing problem. With at least one test performed for every voxel in an image, some correction of the thresholds is needed to control the error rates, but standard procedures for mult ..."
Abstract - Cited by 521 (9 self) - Add to MetaCart
Finding objective and effective thresholds for voxelwise statistics derived from neuroimaging data has been a long-standing problem. With at least one test performed for every voxel in an image, some correction of the thresholds is needed to control the error rates, but standard procedures

Dynamic capabilities and strategic management

by David J. Teece, Gary Pisano, Amy Shuen - Strategic Management Journal , 1997
"... The dynamic capabilities framework analyzes the sources and methods of wealth creation and capture by private enterprise firms operating in environments of rapid technological change. The competitive advantage of firms is seen as resting on distinctive processes (ways of coordinating and combining), ..."
Abstract - Cited by 1792 (7 self) - Add to MetaCart
The dynamic capabilities framework analyzes the sources and methods of wealth creation and capture by private enterprise firms operating in environments of rapid technological change. The competitive advantage of firms is seen as resting on distinctive processes (ways of coordinating and combining

Multicast Operation of the Ad-hoc On-Demand Distance Vector Routing Protocol

by Elizabeth M. Royer, Charles E. Perkins , 1999
"... An ad-hoc network is the cooperative engagement of a collection of (typically wireless) mobile nodes without the required intervention of any centralized access point or existing infrastructure. To provide optimal communication ability, a routing protocol for such a dynamic self-starting network mu ..."
Abstract - Cited by 446 (3 self) - Add to MetaCart
and simulation results to validate the correct and efficient operation of the AODV algorithm.

Corrected operator splitting for nonlinear parabolic equations

by Kenneth Hvistendahl Karlsen, Nils Henrik Risebro - SIAM J. Numer. Anal , 1997
"... Abstract. We present a corrected operator splitting (COS) method for solving nonlinear parabolic equations of convection-di usion type. The main feature of this method is the ability to correctly resolve nonlinear shock fronts for large time steps, as opposed to standard operator splitting (OS) whic ..."
Abstract - Cited by 33 (12 self) - Add to MetaCart
Abstract. We present a corrected operator splitting (COS) method for solving nonlinear parabolic equations of convection-di usion type. The main feature of this method is the ability to correctly resolve nonlinear shock fronts for large time steps, as opposed to standard operator splitting (OS

The Dynamic Window Approach to Collision Avoidance

by Dieter Fox , Wolfram Burgard, Sebastian Thrun
"... This paper describes the dynamic window approach to reactive collision avoidance for mobile robots equipped with synchro-drives. The approach is derived directly from the motion dynamics of the robot and is therefore particularly well-suited for robots operating at high speed. It differs from previo ..."
Abstract - Cited by 433 (32 self) - Add to MetaCart
This paper describes the dynamic window approach to reactive collision avoidance for mobile robots equipped with synchro-drives. The approach is derived directly from the motion dynamics of the robot and is therefore particularly well-suited for robots operating at high speed. It differs from

ADEPT flex - Supporting Dynamic Changes of Workflows Without Loosing Control

by Manfred Reichert, Peter Dadam - Journal of Intelligent Information Systems , 1998
"... . Today's workflow management systems (WFMSs) are only applicable in a secure and safe manner if the business process (BP) to be supported is well-structured and there is no need for ad hoc deviations at runtime. As only few BPs are static in this sense, this significantly limits the applicabil ..."
Abstract - Cited by 425 (112 self) - Add to MetaCart
formal foundation for the support of dynamic structural changes of running WF instances. Based upon a formal WF model (ADEPT), we define a complete and minimal set of change operations (ADEPT flex ) that support users in modifying the structure of a running WF, while maintaining its (structural

CORRECTED OPERATOR SPLITTING FOR NONLINEAR PARABOLIC EQUATIONS∗

by Kenneth Hvistendahl, Karlsen, Nils Henrik Risebro
"... Abstract. We present a corrected operator splitting (COS) method for solving nonlinear parabolic equations of a convection-diffusion type. The main feature of this method is the abil-ity to correctly resolve nonlinear shock fronts for large time steps, as opposed to a standard operator splitting (OS ..."
Abstract - Add to MetaCart
Abstract. We present a corrected operator splitting (COS) method for solving nonlinear parabolic equations of a convection-diffusion type. The main feature of this method is the abil-ity to correctly resolve nonlinear shock fronts for large time steps, as opposed to a standard operator splitting

Practical Byzantine fault tolerance and proactive recovery

by Miguel Castro, Barbara Liskov - ACM Transactions on Computer Systems , 2002
"... Our growing reliance on online services accessible on the Internet demands highly available systems that provide correct service without interruptions. Software bugs, operator mistakes, and malicious attacks are a major cause of service interruptions and they can cause arbitrary behavior, that is, B ..."
Abstract - Cited by 410 (7 self) - Add to MetaCart
Our growing reliance on online services accessible on the Internet demands highly available systems that provide correct service without interruptions. Software bugs, operator mistakes, and malicious attacks are a major cause of service interruptions and they can cause arbitrary behavior, that is
Results 1 - 10 of 19,306