Sciweavers

861 search results - page 14 / 173
» Internal implementation
Sort
View
ICCAD
2002
IEEE
82views Hardware» more  ICCAD 2002»
15 years 6 months ago
Simplification of non-deterministic multi-valued networks
1 We discuss the simplification of non-deterministic MV networks and their internal nodes using internal flexibilities. Given the network structure and its external specification, ...
Alan Mishchenko, Robert K. Brayton
ITC
2003
IEEE
163views Hardware» more  ITC 2003»
15 years 2 months ago
Novel Transient Fault Hardened Static Latch
In this paper we analyze the effects of transient faults (TFs) affecting the internal nodes of conventional latch structures and we propose a new latch design which allows to tole...
Martin Omaña, Daniele Rossi, Cecilia Metra
IM
2007
14 years 11 months ago
Autonomic Management of Component-Based Embedded Software
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
Fabien Romeo, Franck Barbier, Jean-Michel Bruel
PVM
2005
Springer
15 years 3 months ago
Implementing MPI-IO Shared File Pointers Without File System Support
Abstract. The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These targets va...
Robert Latham, Robert B. Ross, Rajeev Thakur, Bria...
ESAW
2007
Springer
15 years 3 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...