914 search results - page 125 / 183 » Lightweight scalable components |
88
Voted
ESM
2000
15 years 1 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
90
Voted
WSC
2000
15 years 1 months ago
2000
Amongst the majority of work done in Supply Chain Simulation, papers have emerged that examine the area of model distribution. The executions of simulations on distributed hosts a...
91
Voted
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
109
Voted
FMSD
2008
15 years 19 days ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
ET
2006
15 years 17 days ago
2006
Recent years have seen the emergence of dropletbased microfluidic systems for safety-critical biomedical applications. In order to ensure reliability, microsystems incorporating m...