Sciweavers

3348 search results - page 540 / 670
» Around and Around
Sort
View
FPGA
2007
ACM
163views FPGA» more  FPGA 2007»
16 years 21 days ago
Improved SAT-based Boolean matching using implicants for LUT-based FPGAs
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
Jason Cong, Kirill Minkovich
GI
2007
Springer
16 years 21 days ago
MR Auto Racing Mixed Reality Game for Public Installation
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...
Daniel Cermak-Sassenrath
IWMM
2007
Springer
118views Hardware» more  IWMM 2007»
16 years 21 days ago
Detecting and eliminating memory leaks using cyclic memory allocation
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
Huu Hai Nguyen, Martin C. Rinard
PREMI
2007
Springer
16 years 20 days ago
Self Adaptable Recognizer for Document Image Collections
Abstract. This paper presents an architecture that enables the recognizer to learn incrementally and, thereby adapt to document image collections for performance improvement. We ar...
Million Meshesha, C. V. Jawahar
RTA
2007
Springer
16 years 20 days ago
The Termination Competition
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
Claude Marché, Hans Zantema