Sciweavers

8729 search results - page 228 / 1746
» Design Of Experiments: Overview
Sort
View
EUROMICRO
2005
IEEE
16 years 6 days ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
ICRA
2005
IEEE
144views Robotics» more  ICRA 2005»
16 years 5 days ago
Extensible Hardware Architecture for Mobile Robots
— The Intelligent Robotics Group at NASA Ames Research Center has developed a new mobile robot hardware architecture designed for extensibility and reconfigurability. Currently ...
Eric Park, Linda Kobayashi, Susan Y. Lee
SEFM
2005
IEEE
16 years 5 days ago
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
Thomas Wilson, Savi Maharaj, Robert G. Clark
AOSE
2004
Springer
15 years 12 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
ICCS
2003
Springer
15 years 11 months ago
Terascale I/O Solutions
PSC has architected and delivered the TCS-1 machine, a Terascale Computing System for use in unclassified research. PSC has enhanced the effective usability and utilization of this...
Nathan Stone, John Kochmar, Paul Nowoczynski, J. R...