16822 search results - page 601 / 3365 » Designing Simulation Experiments |
170
click to vote
ECRTS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
194
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
184
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The monopod hopper described here fits into a cube that is 5 cm on a side, is autonomous, and is designed to be statically and passively dynamically stable. Hopping is achieved th...
161
click to vote
TC
2010
15 years 2 months ago
2010
Using a general polynomial approximation approach, we present an arithmetic library generator for the logarithmic number system (LNS). The generator produces optimized LNS arithmet...
204
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Many SMEs and non-profit organizations suffer when their Web servers become unavailable due to flash crowd effects when their web site becomes popular. One of the solutions to the ...