Henri Bal - PDFSEARCH.IO - Document Search Engine

Henri Bal
Results: 25

#	Item
1	QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank Add to Reading List Source URL: iswc2011.semanticweb.org Language: English - Date: 2011-09-14 09:55:07
2	M ASTER P ROJECT C OMPUTER S CIENCE ElViC: Malleable MPI with Virtual Machines Supervisor: Prof. Dr. Ir. Henri BAL Add to Reading List Source URL: gitlab.com Language: English Software Computing System software Parallel computing Fault-tolerant computer systems Computer networking Cloud infrastructure Live migration Hyper-V Hardware virtualization Virtualization Virtual machine
3	DOC Document Add to Reading List Source URL: www.asci.tudelft.nl Language: English - Date: 2013-10-11 05:54:22 Computer science Real-time computing Parallel computing Computing Year of birth missing ASCI Red Henri Bal Distributed computing Peer-to-peer
4	The First 16 Years of the Distributed ASCI Supercomputer Henri Bal Vrije Universiteit Amsterdam COMMIT/ Add to Reading List Source URL: www.asci.tudelft.nl Language: English - Date: 2013-03-12 07:49:47 SURFnet Vrije Universiteit Computing Academia Technology Henri Bal Andrew S. Tanenbaum Delft University of Technology
5	Towards Big Bi l gy High-performance verification of large concurrent systems Elż bi Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2012-09-06 08:35:26 Amsterdam VU Geography of Europe Europe Vrije Universiteit Henri Bal Vrije
6	Experiences with Fine-grained Distributed Supercomputing on a 10G Testbed Kees Verstoep, Jason Maassen and Henri E. Bal Dept. of Computer Science, Faculty of Sciences Vrije Universiteit, Amsterdam, The Netherlands {verst Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2008-04-29 17:26:20 Computer cluster Multi-core processor Distributed computing Computing Parallel computing Transmission Control Protocol
7	Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-01-15 15:41:39 Transaction processing SPIN model checker Myrinet Distributed computing Henri Bal Scalability Computing Model checkers Model checking
8	Cluster Communication Protocols for Parallel-Programming Systems ¨ KEES VERSTOEP, RAOUL A. F. BHOEDJANG, TIM RUHL, HENRI E. BAL, and RUTGER F. H. HOFMAN Vrije Universiteit Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-02-17 06:11:21 Internet Multicast Transmission Control Protocol Myrinet Message passing Traffic flow Communications protocol IP multicast TIPC Computing Network architecture Inter-process communication
9	Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2009-02-12 11:31:56 Search algorithms Application programming interfaces Parallel computing Breadth-first search Message Passing Interface Depth-first search Model checking Graph Distributed computing Mathematics Graph theory Theoretical computer science
10	OWL reasoning with WebPIE: calculating the closure of 100 billion triples Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j. Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-03-18 08:38:42 Information RDF Schema Semantic reasoner MapReduce FOAF Resource Resource Description Framework Semantic Web Computing World Wide Web