Sciweavers

17449 search results - page 543 / 3490
» Availability
Sort
View
ICICS
1997
Springer
15 years 11 months ago
Enforcing traceability in software
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
Colin Boyd
DAC
1996
ACM
15 years 11 months ago
Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor
Superscalar processor developers are creatively leveraging best-in-class design verification tools to meet narrow market windows. Accelerated simulation is especially useful owing...
Val Popescu, Bill McNamara
ICDE
1993
IEEE
147views Database» more  ICDE 1993»
15 years 11 months ago
Large Object Support in POSTGRES
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...
Michael Stonebraker, Michael A. Olson
EUROMICRO
1996
IEEE
15 years 11 months ago
Software Monitoring and Debugging Using Compressed Signature Sequences
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
István Majzik
ICTAI
1994
IEEE
15 years 11 months ago
NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural Networks
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
Cédric Gégout, Bernard Girau, Fabric...