544 search results - page 42 / 109 » Overview of QAST 2007 |
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
While research on cross-layer network optimization has been progressing, useful implementations have been lagging because the current Internet architecture does not accommodate cro...
FLAIRS
2007
15 years 2 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
AHS
2007
IEEE
15 years 1 months ago
2007
IEEE
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
CISIS
2007
IEEE
15 years 1 months ago
2007
IEEE
Recently we have proposed a novel approach to utilizing agent teams as resource brokers and managers in the Grid. Thus far we have presented an overview of the proposed approach d...