Sciweavers

11172 search results - page 529 / 2235
» Testing Physical Systems
Sort
View
ANSS
2001
IEEE
15 years 10 months ago
Building a Web-Based Federated Simulation System with Jini and XML
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
Xueqin Huang, John A. Miller
FAST
2010
15 years 9 months ago
Panache: A Parallel File System Cache for Global File Access
Cloud computing promises large-scale and seamless access to vast quantities of data across the globe. Applications will demand the reliability, consistency, and performance of a t...
Marc Eshel, Roger L. Haskin, Dean Hildebrand, Mano...
BIRTHDAY
2008
Springer
15 years 9 months ago
Approximating Behaviors in Embedded System Design
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
Roberto Passerone, Alberto L. Sangiovanni-Vincente...
FOIS
2001
15 years 8 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...