Sciweavers

1554 search results - page 147 / 311
» Testing Polymorphic Behavior
Sort
View
123
Voted
MSE
2002
IEEE
91views Hardware» more  MSE 2002»
15 years 6 months 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
15 years 5 months 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
15 years 4 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
15 years 4 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»
15 years 4 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