1837 search results - page 71 / 368 » Abstraction and the C Machine Model |
ACL
2010
14 years 10 months ago
2010
We address the problem of selecting nondomain-specific language model training data to build auxiliary language models for use in tasks such as machine translation. Our approach i...
201
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
117
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
109
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...