Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea
Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Get full text
eBook
Conference Proceeding
A study of collaboration among medical informatics research laboratories
Shortliffe, Edward H, Patel, Vimla L, Cimino, James J, Octo Barnett, G, Greenes, Robert A
Published in Artificial intelligence in medicine (01.02.1998)
Published in Artificial intelligence in medicine (01.02.1998)
Get full text
Journal Article
The technical infrastructure for Remote Participation in the European Fusion Programme
Get full text
Journal Article
Conference Proceeding
Managing data flow in a DAC supporting security system
Hörmanseder, Rudolf, Murauer, Johann, Mühlbacher, Jörg R.
Published in Journal of network and computer applications (01.07.2002)
Published in Journal of network and computer applications (01.07.2002)
Get full text
Journal Article
Demand-driven logic simulation using a network of loosely coupled processors
Dunne, Paul E., Leng, Paul H., Nwana, Gerald F.
Published in Journal of systems architecture (01.08.2002)
Published in Journal of systems architecture (01.08.2002)
Get full text
Journal Article
Online Analysis of Functional MRI Datasets on Parallel Platforms
Goddard, Nigel, Hood, Greg, Cohen, Jonathan, Eddy, William, Genovese, Christopher, Noll, Douglas, Nystrom, Leigh
Published in The Journal of supercomputing (01.01.1997)
Published in The Journal of supercomputing (01.01.1997)
Get full text
Journal Article
A high-level abstraction of shared accesses
Published in ACM transactions on computer systems
(01.02.2000)
Get full text
Journal Article