1850 search results - page 103 / 370 » Design-for-debugging of application specific designs |
121
Voted
IEE
2007
15 years 3 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
145
click to vote
CSCWD
2006
Springer
15 years 7 months ago
2006
Springer
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...
120
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
147
Voted
IMCSIT
2010
15 years 23 days ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
114
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...