Sciweavers

1327 search results - page 178 / 266
» Data Dependent Circuit Design: A Case Study
Sort
View
ISMVL
2005
IEEE
107views Hardware» more  ISMVL 2005»
15 years 11 months ago
Multiple-Valued Caches for Power-Efficient Embedded Systems
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...
Emre Özer, Resit Sendag, David Gregg
ICFP
2003
ACM
16 years 6 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
CODES
2007
IEEE
16 years 16 days ago
HySim: a fast simulation framework for embedded software development
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
Stefan Kraemer, Lei Gao, Jan Weinstock, Rainer Leu...
APCSAC
2001
IEEE
15 years 9 months ago
Stacking them up: a Comparison of Virtual Machines
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
K. John Gough
RECOMB
2008
Springer
16 years 6 months ago
Rapid and Accurate Protein Side Chain Prediction with Local Backbone Information
High-accuracy protein structure modeling demands accurate and very fast side chain prediction since such a procedure must be repeatedly called at each step of structure refinement....
Jing Zhang, Xin Gao, Jinbo Xu, Ming Li