Cs-Dc
Neutron Star Evolutions using Tabulated Equations of State with a New Execution Model
Synthesising Choreographies from Local Session Types (extended version)
Random walks which prefer unvisited edges. Exploring high girth even degree expanders in linear time
Mariages et Trahisons
Bonsai: A GPU Tree-Code
Building Fastest Broadcast Trees in Periodically-Varying Graphs
Programming Cloud Resource Orchestration Framework: Operations and Research Challenges
Securing business operations in an SOA
Quasi-cyclic Flexible Regenerating Codes
Generalized Network Tomography
Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic Phenomena
Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms
Achieving 100,000,000 database inserts per second using Accumulo and D4M
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets
Design, Construction, and Use of a Single Board Computer Beowulf Cluster: Application of the Small-Footprint, Low-Cost, InSignal 5420 Octa Board
GPU accelerated Nature Inspired Methods for Modelling Large Scale Bi-Directional Pedestrian Movement
Integrating R and Hadoop for Big Data Analysis
Optimal Feature Selection from VMware ESXi 5.1 Feature Set
Parallel MATLAB Techniques
"Tri, Tri again": Finding Triangles and Small Subgraphs in a Distributed Setting
A Decision Matrix and Monitoring based Framework for Infrastructure Performance Enhancement in A Cloud based Environment
