3006 search results - page 180 / 602 » Overview |
131
Voted
EUROCAST
2007
Springer
15 years 7 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...
120
Voted
ICCCN
2007
IEEE
15 years 7 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...
115
Voted
CCGRID
2004
IEEE
15 years 7 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 ...
120
Voted
CAISE
2006
Springer
15 years 7 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...
89
Voted
DATE
2004
IEEE
15 years 7 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...