If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

2013

Hybrid reasoning on OWL RL

Urbani, J., Piro, R., van Harmelen, F. A. H. & Bal, H. E., 2013, In : Semantic Web.

Research output: Contribution to JournalArticleAcademicpeer-review

File

On Web-scale Reasoning

Urbani, J., 2013

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Scalable RDF data compression with MapReduce

Urbani, J., Maassen, J., Drost, N., Seinstra, F. J. & Bal, H. E., 2013, In : Concurrency and Computation: Practice and Experience. 25, 1, p. 24-39

Research output: Contribution to JournalArticleAcademicpeer-review

Data description
MapReduce
Data compression
Data Compression
Glossaries

Stochastic Approaches to Self-Adaptive Application Execution on Clouds

Oprescu, A. M., 2013

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

User transparent data and task parallel multimedia computing with Pyxis-DT

van Kessel, T. P., van Werkhoven, B., Drost, N., Maassen, J., Bal, H. E. & Seinstra, F. J., 2013, In : Future Generation Computer Systems. 29, p. 2252-2261 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Parallel programming
Data structures
Communication
Graphics processing unit

Using model checking to analyze the system behavior of the LHC production grid

Remenska, D., Willemse, T. A. C., Verstoep, K., Templon, J. A. & Bal, H. E., 2013, In : Future Generation Computer Systems. 29, 8, p. 2239-2251

Research output: Contribution to JournalArticleAcademicpeer-review

Model checking
Hazards and race conditions
Colliding beam accelerators
Data transfer
Algebra

Using RenderScript and RCUDA for Compute Intensive tasks on Mobile Devices: a Case Study

Kemp, R., Palmer, N. O., Kielmann, T., Bal, H. E., Aarts, B. & Ghuloum, A., 2013, First European Workshop on Mobile Engineering (ME'13).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2012

Analysis of DIRAC's behavior using model checking with process algebra

Remenska, D., Templon, J. A., Willemse, T. A. C., Bal, H. E., Verstoep, K., Fokkink, W. J., Charpentier, P., Graciana Diaz, R., Lanciotti, E., Roiser, S. & Ciba, K., 2012, In : Journal of Physics: Conference Series. 396, 5, 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

algebra
grids
space exploration
management systems
tracing

Erratum: WebPIE: A Web-scale Parallel Inference Engine using MapReduce (Journal of Web Semantics (2012) 10 (59-75))

Urbani, J., Kotoulas, S., Maassen, J., Van Harmelen, F. & Bal, H., Dec 2012, In : Journal of Web Semantics. 17, p. 44 1 p.

Research output: Contribution to JournalErratumAcademic

Generating synchronization statements in divide-and-conquer programs

Hijma, H. P., van Nieuwpoort, R. V., Jacobs, C. J. H. & Bal, H. E., 2012, In : Parallel computing. 38, 1-2, p. 75-89

Research output: Contribution to JournalArticleAcademicpeer-review

Divide and conquer
Synchronization
Parallelism
Generator
Grid

High-Performance Distributed Multi-Model / Multi-Kernel Simulations: A Case-Study in Jungle Computing

Drost, N., Maassen, J., van Meersbergen, M. A. J., Bal, H. E., Pelupessy, F. I., Portegies Zwart, S., Kliphuis, M., Dijkstra, H. A. & Seinstra, F. J., 2012, Proceedings of the 26th International Parallel & Distributed Processing Symposium (IPDPS 2012) - 21st International Heterogeneity in Computing Workshop (HCW 2012). Shanghai, China

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Modern Compiler Design 2nd edition

Grune, D., van Reeuwijk, C., Bal, H. E., Jacobs, C. J. H. & Langendoen, K. G., 2012, New York/Heidelberg: Springer. 822 p.

Research output: Book / ReportBookAcademicpeer-review

RAVEN: Using Smartphones For Collaborative Disaster Data Collection

Palmer, N. O., Kemp, R., Kielmann, T. & Bal, H. E., 2012, Proceedings of the 9th International Conference on Information Systems for Crisis Reponse and Management (ISCRAM).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Reply to comment on "webPIE: A Web-scale parallel inference engine using MapReduce"

Urbani, J., Kotoulas, S., Maassen, J., Van Harmelen, F. & Bal, H., Sep 2012, In : Journal of Web Semantics. 15, p. 71-72 2 p.

Research output: Contribution to JournalLetterAcademicpeer-review

Resource Optimization in Distributed Real-Time Multimedia Applications

Yang, R., van der Mei, R. D., Roubos, D., Seinstra, F. J. & Bal, H. E., 2012, In : Multimedia Tools and Applications. 59, 3, p. 941-971

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Communication

Smartphones: A Platform For Disaster Management

Palmer, N. O., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

SWAN-Song: a Flexible Context Expression Language for Smartphones

Palmer, N. O., Kemp, R., Kielmann, T. & Bal, H. E., 2012, Third International Workshop on Sensing Applications on Mobile Phones (PhoneSense 2012). ACM

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

The Case For Smartphones As An Urgent Computing Client Platform

Palmer, N. O., Kemp, R., Kielmann, T. & Bal, H. E., 2012, Workshop on Urgent Computing, in conjunction with ICCS (Int. Conf. on Computational Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards an Effective Unified Programming Model for Many-Cores

Varbanescu, A. L., Hijma, P., van Nieuwpoort, R. V. & Bal, H. E., 2012, 13th Workshop on Advances in Parallel and Distributed Computational Models (APDCM), in conjunction with 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards Big Biology: high-performance verification of large concurrent systems

Krepska, E., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

User Transparent Data and Task Parallel Multimedia Computing with Pyxis-DT

van Kessel, T. P., Drost, N., Maassen, J., Bal, H. E. & Seinstra, F. J., 13 May 2012, Proceedings of the 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012). IEEE Computer Society, p. 17-24 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Parallel programming
Data structures
Communication

Using information flow tracking to protect legacy binaries

Slowinska, J. M., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Using model checking to analyze the system behavior of the LHC production grid

Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Bal, H. E. & Templon, J. A., 2012, Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, p. 335-343

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

WebPIE: A web-scale parallel inference engine using MapReduce

Urbani, J., Kotoulas, S., Maassen, J., Van Harmelen, F. & Bal, H., 2012, In : Belgian/Netherlands Artificial Intelligence Conference.

Research output: Contribution to JournalArticleAcademicpeer-review

Inference engines
Semantic Web
2011

A high-level framework for distributed processing of large-scale graphs

Krepska, E. L., Kielmann, T., Fokkink, W. J. & Bal, H. E., 2011, In : Lecture Notes in Computer Science. 6522, p. 155-166

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Application-Tailored I/O with Streamline

de Bruijn, W. J., Bos, H. J. & Bal, H. E., 2011, In : ACM Transactions on Computer Systems. 29, 2, p. 6:1-6:33 33 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Hardware
Media streaming
Copying
Pipelines
Pipe

Automatically Inserting Synchronization Statements in Divide-and-Conquer Programs

Hijma, H. P., van Nieuwpoort, R. V., Jacobs, C. J. H. & Bal, H. E., 2011, 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2011, held in conjunction with IPDPS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Collaborative Editing of Structured Data on Mobile Devices

Palmer, N. O., Miron, E., Kemp, R., Kielmann, T. & Bal, H. E., 2011, 12th International Conference on Mobile Data Management (MDM 2011).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Distributed MAP in the SpinJa model checker

Vijzelaar, S. J. J., Verstoep, K., Fokkink, W. J. & Bal, H. E., 2011, In : Electronic Proceedings in Theoretical Computer Science. 72, p. 84-90

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Energy Efficient Information Monitoring Applications on Smartphones through Communication Offloading

Kemp, R., Palmer, N. O., Kielmann, T. & Bal, H. E., 2011, 3rd International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

HipG: Parallel processing of large-scale graphs

Krepska, E. L., Kielmann, T., Fokkink, W. J. & Bal, H. E., 2011, In : ACM SIGOPS Operating Systems Review. 45, 2, p. 1-13

Research output: Contribution to JournalArticleAcademicpeer-review

JEL: Unified Resource Tracking for Parallel and Distributed Applications

Drost, N., van Nieuwpoort, R. V., Maassen, J., Seinstra, F. J. & Bal, H. E., 2011, In : Concurrency and Computation: Practice and Experience. 23, 1, p. 17-37

Research output: Contribution to JournalArticleAcademicpeer-review

Parallel Applications
Distributed Applications
Join
Resources
Distributed computer systems

Jungle Computing: Distributed Supercomputing beyond Clusters, Grids, and Clouds

Seinstra, F. J., Maassen, J., van Nieuwpoort, R. V., Drost, N., van Kessel, T. P., van Werkhoven, B., Urbani, J., Jacobs, C. J. H., Kielmann, T. & Bal, H. E., 2011, Grids, Clouds and Virtualization.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases

Urbani, J., van Harmelen, F. A. H., Schlobach, S. & Bal, H. E., 2011, 10th Int. Semantic Web Conference (ISWC 2011).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Towards an Effective Unified Programming Model for Many-Cores

Varbanescu, A. L., Hijma, H. P., van Nieuwpoort, R. V. & Bal, H. E., 2011, Programming Multi-core and Many-core Computing Systems. Pllana, S. & Xhafa, F. (eds.). John Wiley & Sons

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards an energy-aware scheduler for GreenClouds

Chen, Q., Grosso, P., de Laat, C., Hofman, R. & Bal, H. E., 2011, Int. Conf. on Cloud and Green Computing (CGC 2011).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards Jungle Computing with Ibis/Constellation

Maassen, J., Drost, N., Seinstra, F. J. & Bal, H. E., 2011, Proceedings of the 20th ACM International Symposium on High-Performance Distributed Computing (HPDC 2011) - Workshop on Dynamic Distributed Data-Intensive Applications, Programming Abstractions, and Systems (3DAPAS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Zorilla: A P2P Middleware for Real-World Distributed Systems

Drost, N., van Nieuwpoort, R. V., Maassen, J., Seinstra, F. J. & Bal, H. E., 2011, In : Concurrency and Computation: Practice and Experience. 23, 13, p. 1506-1521

Research output: Contribution to JournalArticleAcademicpeer-review

Middleware
Distributed Systems
Computer systems
Resources
Distributed computer systems
2010

Adaptive Operating System Design for High Throughput I/O

de Bruijn, W. J., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

A Framework for Parallel Streaming Applications

Nijhuis, M. H. J., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

ContextDroid: an Expression-Based Context Framework for Android

van Wissen, B., Palmer, N. O., Kemp, R., Kielmann, T. & Bal, H. E., 2010, International Workshop on Sensing for App Phones (PhoneSense 2010).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Cuckoo: a Computation Offloading Framework for Smartphones

Kemp, R., Palmer, N. O., Kielmann, T. & Bal, H. E., 2010, 2nd Int. Conf. on Mobile Computing, Applications, and Services (MobiCASE 2010).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Massive Semantic Web data compression with MapReduce

Urbani, J., Maassen, J. & Bal, H. E., 2010, Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, HPDC 2010. ACM

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Opportunistic Communication for Multiplayer Mobile Gaming: Lessons Learned from PhotoShoot (demo paper)

Kemp, R., Palmer, N. O., Kielmann, T. & Bal, H. E., 2010, Second ACM International Workshop on Mobile Opportunistic Networking (ACM/SIGMOBILE MobiOpp 2010).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples

Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F. A. H. & Bal, H. E., 2010, The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010. Springer

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Real-World Distributed Computing with Ibis

Bal, H. E., Maassen, J., van Nieuwpoort, R. V., Drost, N., Kemp, R., Palmer, N. O., Wrzesinska, G., Kielmann, T., Seinstra, F. J. & Jacobs, C. J. H., 2010, In : Computer. 43, 8, p. 54-62 9 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Real-World Distributed Supercomputing

Drost, N., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Satin: A high-level and efficient grid programming model

van Nieuwpoort, R. V., Wrzesinska, G., Jacobs, C. J. H. & Bal, H. E., 2010, In : ACM Transactions on Programming Languages and Systems. 32, 3, p. 1-39

Research output: Contribution to JournalArticleAcademicpeer-review

Communication
Dynamic loads
Scheduling algorithms
Resource allocation
Synchronization

The Smartphone and the Cloud: Power to the User (Invited paper), International Workshop on Mobile Computing and Clouds (MobiCloud 2010)

Kemp, R., Palmer, N. O., Kielmann, T. & Bal, H. E., 2010, International Workshop on Mobile Computing and Clouds (MobiCloud 2010).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Using Virtualisation to Protect Against Zero-Day Attacks

Portokalidis, G., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File