Sciweavers

1554 search results - page 147 / 311
» Testing Polymorphic Behavior
Sort
View
MSE
2002
IEEE
91views Hardware» more  MSE 2002»
14 years 26 days ago
A Visual Authoring Environment for Prototyping Multimedia Presentations
In this paper we describe an authoring environment which allows the author to set up and test a complex multimedia presentation by defining the synchronization relationships amon...
Ombretta Gaggi, Augusto Celentano
DAC
1990
ACM
14 years 18 hour ago
Symbolic Simulation - Techniques and Applications
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
Randal E. Bryant
ATAL
2006
Springer
13 years 11 months ago
A Market-Pressure-Based Performance Evaluator for TAC-SCM
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...
Brett Borghetti, Eric Sodomka, Maria L. Gini, John...
ESOP
2000
Springer
13 years 11 months ago
Improving the Representation of Infinite Trees to Deal with Sets of Trees
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne
ISER
1995
Springer
100views Robotics» more  ISER 1995»
13 years 11 months ago
Parameter Sensitivity Analysis for Design and Control of Tendon Transmissions
We apply sensitivity analysis to the design and control of a tendon transmission. With this approach, some prefered values for the system parameters and a feedback compensator can...
Vincent Hayward, Juan Manuel Cruz-Hernández