Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
State-Logic Relations for Autonomous Sequential NetworksPreparata, Franco P.IEEE transactions on electronic computers, 1964-10, Vol.EC-13 (5), p.542-548 [Periódico revisado por pares]IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Augmenting Ada for SIMD Parallel ProcessingCline, C.L. ; Siegel, H.J.IEEE Trans. Software Eng.; (United States), 1985-09, Vol.SE-11 (9), p.970-977 [Periódico revisado por pares]New York: IEEETexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Efficient sparse matrix factorization for circuit simulation on vector supercomputersSadayappan, P. ; Visvanathan, V.26th ACM/IEEE Design Automation Conference, 1989, p.13-18New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: magazinearticle
|
![]() |
A compact, programmable sample injector and autosampler for liquid chromatographyKretz, Wolfgang ; Ple, GerhardHewlett-Packard journal, 1990-04, Vol.41 (2), p.17Hewlett Packard CompanyTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
CLOVER: a timing constraints verification systemDoukas, Dimitris ; LaPaugh, Andrea S.28th ACM/IEEE Design Automation Conference, 1991, p.662-667New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A retrospective on the VAX VMM security kernelKarger, P.A. ; Zurko, M.E. ; Bonin, D.W. ; Mason, A.H. ; Kahn, C.E.IEEE transactions on software engineering, 1991-11, Vol.17 (11), p.1147-1165 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
A study of partitioned vector register filesLee, C. G. ; Smith, J. E. Werner, RobertConference on High Performance Networking and Computing: Proceedings of the 1992 ACM/IEEE conference on Supercomputing; 16-20 Nov. 1992, 1992, p.94-103Los Alamitos, CA, USA: IEEE Computer Society PressTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
The performance of cache-coherent ring-based multiprocessorsBarroso, Luiz André ; Dubois, MichelInternational Symposium on Computer Architecture: Proceedings of the 20th annual international symposium on Computer architecture; 16-19 May 1993, 1993, p.268-277New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
SESAME: The solution to security for open distributed systemsKaijser, Per ; Parker, Tom ; Pinkas, DenisComputer communications, 1994-07, Vol.17 (7), p.501-518 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Fault simulation under the multiple observation time approach using backward implicationsPomeranz, Irith ; Reddy, Sudhakar M.Annual ACM IEEE Design Automation Conference: Proceedings of the 34th annual conference on Design automation; 09-13 June 1997, 1997, p.608-613New York, NY, USA: ACMTexto completo disponível |