3006 search results - page 180 / 602 » Overview |
166
click to vote
EUROCAST
2007
Springer
15 years 10 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...
163
click to vote
ICCCN
2007
IEEE
15 years 10 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...
151
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The focus of this paper is on the design and implementation of a critical program in structural biology onto two computational and data grids. The first is the Buffalo-based ACDC ...
162
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Our research explores a new database extension. Our aim is to see how far it is possible to support collaborative editing and document provenance with database technology, and exte...
113
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...