Author of the publication

A Simple Distributed Conflict-Driven Answer Set Solver.

, , , , , , , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 490-495. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamic Scheduling of Parallel Applications.. PaCT, volume 964 of Lecture Notes in Computer Science, page 109-116. Springer, (1995)Evaluation of Intrusion Detection Systems in IPv6 Networks., , and . ICETE (2), page 408-416. SciTePress, (2019)Awareness of MPI Virtual Process Topologies on the Single-Chip Cloud Computer., and . IPDPS Workshops, page 529-536. IEEE Computer Society, (2012)Efficient Parallelization of MATLAB Stencil Applications for Multi-core Clusters., , and . WOLFHPC@SC, page 20-29. IEEE Computer Society, (2016)Enabling Communication with FPGA-based Network-attached Accelerators for HPC Workloads., , , , , , , and . SC Workshops, page 530-538. ACM, (2023)Scheduling and Load Balancing.. Euro-Par, volume 1900 of Lecture Notes in Computer Science, page 217. Springer, (2000)Topic 13: Routing and Communication in Interconnection Networks., , , and . Euro-Par, volume 4128 of Lecture Notes in Computer Science, page 851. Springer, (2006)FaVe: Modeling IPv6 firewalls for fast formal verification., , and . NetSys, page 1-8. IEEE, (2017)Indoor Positioning: A Comparison of WiFi and Bluetooth Low Energy for Region Monitoring., , , and . HEALTHINF, page 314-321. SciTePress, (2016)Scalability evaluation of an energy-aware resource management system for clusters of web servers., and . SPECTS@SummerSim, page 16:1-16:8. IEEE / ACM, (2015)