2935 search results - page 36 / 587 » An Integrated Approach to High Integrity Software Verificati... |
127
click to vote
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
154
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
150
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
167
Voted
GRID
2007
Springer
15 years 10 months ago
2007
Springer
— EGEE, along with its sister project LCG, manages the world’s largest Grid production infrastructure which is spreading nowadays over 260 sites in more than 40 countries. Just...
140
click to vote
CSIE
2009
IEEE
15 years 5 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...