1446 search results - page 162 / 290 » Hardware Software Co-Design Using Functional Languages |
139
Voted
CARDIS
2004
Springer
15 years 10 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
139
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
132
click to vote
ISPASS
2009
IEEE
15 years 12 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
128
Voted
JCP
2008
15 years 5 months ago
2008
Profiling tools are computer-aided design (CAD) tools that help in determining the computationally intensive portions in software. Embedded systems consist of hardware and software...
135
Voted
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...