Staffan Bonnier

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 1

Top Topics

Stream Processing

Parallel Processing

Commodity Hardware

Top Venues

Publications

Charalampos Stylianopoulos, Magnus Almgren, Olaf Landsiedel, Marina Papatriantafilou, Trevor Neish, Linus Gillander, Bengt Johansson, Staffan Bonnier
On the performance of commodity hardware for low latency and low jitter packet processing. DEBS (2020)
Staffan Bonnier, Tim Heyer
COMPASS: A Comprehensible Assertion Method. TAPSOFT (1997)
Staffan Bonnier, Jonas Wallgren
Logic Programs with Polymorphic Types: A condition for static type checking. CTRS (1992)
Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40 (2) (1991)
Staffan Bonnier
Unification in Incompletely Specified Theories: A Case Study. MFCS (1991)
Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27 (3) (1988)
Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP (1988)
Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP (1988)