Sciweavers

1824 search results - page 283 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
124
Voted
ICCS
2009
Springer
15 years 10 months ago
A Note on Auto-tuning GEMM for GPUs
The development of high performance dense linear algebra (DLA) critically depends on highly optimized BLAS, and especially on the matrix multiplication routine (GEMM). This is espe...
Yinan Li, Jack Dongarra, Stanimire Tomov
134
Voted
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
15 years 10 months ago
Monocular range sensing: A non-parametric learning approach
Abstract— Mobile robots rely on the ability to sense the geometry of their local environment in order to avoid obstacles or to explore the surroundings. For this task, dedicated ...
Christian Plagemann, Felix Endres, Juergen Michael...
MICRO
2008
IEEE
84views Hardware» more  MICRO 2008»
15 years 10 months ago
A performance-correctness explicitly-decoupled architecture
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...
Alok Garg, Michael C. Huang
121
Voted
RAID
2007
Springer
15 years 9 months ago
Emulation-Based Detection of Non-self-contained Polymorphic Shellcode
Network-level emulation has recently been proposed as a method for the accurate detection of previously unknown polymorphic code injection attacks. In this paper, we extend network...
Michalis Polychronakis, Kostas G. Anagnostakis, Ev...
112
Voted
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 9 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler