Filters








3 Hits in 1.6 sec

CScale – A Programming Model for Scalable and Reliable Distributed Applications [chapter]

Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
2012 Lecture Notes in Computer Science  
However, the task of writing such applications is daunting, even for experienced developers. We propose CScale, a programming model that attempts to simplify this task.  ...  In turn, the CScale runtime manages all aspects of execution of a CScale application on large clusters, including deployment, state management (replication and data partitioning) and fault tolerance.  ...  In this paper, we describe CScale, a declarative programming model for building scalable distributed web applications.  ... 
doi:10.1007/978-3-642-34059-8_8 fatcat:sxorln4ybzcqzikwy45dzdowmu

Scalable techniques for analysing and testing asynchronous software systems

Pantazis Deligiannis, Alastair F. Donaldson, Cristian Cadar, Intel Corporation, Engineering And Physical Sciences Research Council
2017
A new approach for partially-modelling and testing production-scale asynchronous distributed systems using P#.  ...  This thesis is about scalable analysis and testing techniques for asynchronous programs.  ...  responsible for the interface between an operating system and the hardware; and (ii) distributed applications and systems, which are high-level programs typically deployed on a computer cluster.  ... 
doi:10.25560/48042 fatcat:y6yu5erl4vcotdj37qv4xwzjpu

A remote visual interface tool for simulation control and display

W.J. DeRouchey, T.C. Hartrum
Proceedings of the IEEE 1991 National Aerospace and Electronics Conference NAECON 1991  
Although simulations provide a powerful tool for analyzing a given model, they are typically very large, application specific, and difficult to use.  ...  Hurrion's initial applications represent model-prompted interaction in which the model prompts the user for a decision or additional data.  ...  The initial orientation of the object is zero for all rotation angles. All objects are measured in meters and are externally scalable to any size.  ... 
doi:10.1109/naecon.1991.165870 fatcat:uexzxnvd2zfqpek6pb6kttd5su