470 search results - page 67 / 94 » Test Case Generation Based on State and Activity Models |
106
click to vote
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Most existing RCL−1 circuit reductions stamp inverse inductance L−1 elements by a second-order nodal analysis (NA). The NA formulation uses nodal voltage variables and describ...
122
Voted
BMCBI
2010
15 years 18 days ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
113
click to vote
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
114
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
96
Voted
WSC
2007
15 years 2 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...