Sciweavers

723 search results - page 31 / 145
» Speculative Dynamic Vectorization
Sort
View
CACM
2010
140views more  CACM 2010»
14 years 11 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
15 years 10 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
ESANN
2007
15 years 3 months ago
The Intrinsic Recurrent Support Vector Machine
In this work, we present a new model for a Recurrent Support Vector Machine. We call it intrinsic because the complete recurrence is directly incorporated within the considered opt...
Daniel Schneegaß, Anton Maximilian Schä...
64
Voted
JNS
2011
27views more  JNS 2011»
14 years 8 months ago
Robust Optimisation with Normal Vectors on Critical Manifolds of Disturbance-Induced Stability Loss
Dynamic systems that are subject to fast disturbances, parametrised by a disturbance vector d, undergo bifurcations for some values of the disturbance d. In this work we specific...
Benedikt Wirth, Johannes Gerhard, Wolfgang Marquar...
WSCG
2000
164views more  WSCG 2000»
15 years 3 months ago
Color-Table Animation of Fast Oriented Line Integral Convolution for Vector Field Visualization
Fast Oriented Line Integral Convolution (FROLIC), which is a variant of LIC, illustrates 2D vector fields by approximating a streamlet by a set of disks with varying intensity. FR...
Siegrun Berger, Eduard Gröller