Sciweavers

2297 search results - page 62 / 460
» A fast APRIORI implementation
Sort
View
IPPS
2009
IEEE
15 years 5 months ago
Fast development of dense linear algebra codes on graphics processors
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
M. Jesús Zafont, Alberto F. Martín, ...
ISCAS
2006
IEEE
120views Hardware» more  ISCAS 2006»
15 years 4 months ago
Fast bit permutation unit for media enhanced microprocessors
— Bit and subword permutations are useful in many multimedia and cryptographic applications. New shift and permute instructions have been added to the instruction set of general-...
Giorgos Dimitrakopoulos, Christos Mavrokefalidis, ...
ICRA
2003
IEEE
103views Robotics» more  ICRA 2003»
15 years 4 months ago
Highly compliant and self-tightening docking modules for precise and fast connection of self-reconfigurable robots
― This paper describes a new docking system called Compliant-And-Self-Tightening (CAST) developed as an effective and efficient connector for joining and releasing modules of sel...
Behrokh Khoshnevis, Peter M. Will, Wei-Min Shen
IPPS
2000
IEEE
15 years 3 months ago
Fast Measurement of LogP Parameters for Message Passing Platforms
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
Thilo Kielmann, Henri E. Bal, Kees Verstoep
TPHOL
2000
IEEE
15 years 3 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin