2141 search results - page 274 / 429 » Embedded Software |
142
Voted
FOSSACS
2012
Springer
13 years 10 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
124
Voted
PEPM
2012
ACM
13 years 10 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
102
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
—Existing ASIPs (application-specific instruction-set processors) and compiler-based co-processor synthesis approaches meet the increasing performance requirements of embedded ap...
147
Voted
SAFECOMP
2009
Springer
15 years 9 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
102
click to vote
SAMOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...