Sciweavers

1664 search results - page 119 / 333
» Testing in the Component Age
Sort
View
128
Voted
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
15 years 9 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
119
Voted
MSE
2005
IEEE
133views Hardware» more  MSE 2005»
15 years 9 months ago
Embedded System Design with FPGAs Using HDLs (Lessons Learned and Pitfalls to Be Avoided)
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
R. James Duckworth
71
Voted
EVOW
2009
Springer
15 years 8 months ago
Evolutionary Freight Transportation Planning
In this paper, we present the freight transportation planning component of the INWEST project. This system utilizes an evolutionary algorithm with intelligent search operations in ...
Thomas Weise, Alexander Podlich, Kai Reinhard, Chr...
136
Voted
WCE
2007
15 years 4 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...
FUIN
2002
80views more  FUIN 2002»
15 years 3 months ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...