5241 search results - page 279 / 1049 » Embedded Programming with C |
123
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
124
Voted
ARVLSI
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
134
click to vote
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
104
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
133
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...