Sciweavers

7890 search results - page 1354 / 1578
» The MathSAT 3 System
Sort
View
DAC
2007
ACM
16 years 7 months ago
Compact State Machines for High Performance Pattern Matching
Pattern matching is essential to a wide range of applications such as network intrusion detection, virus scanning, etc. Pattern matching algorithms normally rely on state machines...
Piti Piyachon, Yan Luo
DAC
2002
ACM
16 years 7 months ago
Compiler-directed scratch pad memory hierarchy design and management
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
Mahmut T. Kandemir, Alok N. Choudhary
DAC
2005
ACM
16 years 7 months ago
Logic block clustering of large designs for channel-width constrained FPGAs
In this paper we present a system level technique for mapping large, multiple-IP-block designs to channel-width constrained FPGAs. Most FPGA clustering tools [2, 3, 11] aim to red...
Marvin Tom, Guy G. Lemieux
MICCAI
2007
Springer
16 years 7 months ago
Towards Subject-Specific Models of the Dynamic Heart for Image-Guided Mitral Valve Surgery
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
Cristian A. Linte, Marcin Wierzbicki, John Moore, ...
MICCAI
2007
Springer
16 years 7 months ago
Combinatorial Optimization for Electrode Labeling of EEG Caps
Abstract. An important issue in electroencephalographiy (EEG) experiments is to measure accurately the three dimensional (3D) positions of the electrodes. We propose a system where...
Jean-Michel Badier, Mickaël Péchaud, R...
« Prev « First page 1354 / 1578 Last » Next »