Sciweavers

4693 search results - page 170 / 939
» Verifying Hybrid Systems
Sort
View
ICS
2009
Tsinghua U.
16 years 1 days ago
Tuned and wildly asynchronous stencil kernels for hybrid CPU/GPU systems
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi’s iterative method for the 2-D Poisson equation on a structured grid, in both single- and doublepreci...
Sundaresan Venkatasubramanian, Richard W. Vuduc
GECCO
2009
Springer
15 years 12 months ago
Evolved finite state controller for hybrid system
Jean-François Dupuis, Zhun Fan, Erik D. Goo...
IWANN
2009
Springer
15 years 11 months ago
Design of a Snort-Based Hybrid Intrusion Detection System
J. Gómez, Consolación Gil, N. Padill...
TAP
2009
Springer
96views Hardware» more  TAP 2009»
15 years 11 months ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus