6800 search results - page 1322 / 1360 » Testing with Functions as Specifications |
IWAN
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
CCGRID
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper introduces a new benchmark tool for evaluating performance and availability (performability) of networked storage systems, specifically storage area network (SAN) that...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...