Sciweavers

97 search results - page 14 / 20
» Register Organization for Media Processing
Sort
View
ICFP
2003
ACM
14 years 7 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
EMSOFT
2005
Springer
14 years 1 months ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...
CLEF
2006
Springer
13 years 11 months ago
Overview of the CLEF 2006 Multilingual Question Answering Track
Having being proposed for the fourth time, the QA at CLEF track has confirmed a still raising interest from the research community, recording a constant increase both in the numbe...
Bernardo Magnini, Danilo Giampiccolo, Pamela Forne...
MICRO
2000
IEEE
95views Hardware» more  MICRO 2000»
13 years 11 months ago
Very low power pipelines using significance compression
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
Ramon Canal, Antonio González, James E. Smi...
ESWA
2008
195views more  ESWA 2008»
13 years 7 months ago
Automatic expert identification using a text categorization technique in knowledge management systems
Since tacit knowledge such as know-how and experiences is hard to be managed effectively using information technology, it is recently proposed that providing an appropriate expert...
Kun-Woo Yang, Soon-Young Huh