1446 search results - page 75 / 290 » Hardware Software Co-Design Using Functional Languages |
110
Voted
HOPL
2007
15 years 6 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...
120
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
147
Voted
WISES
2003
15 years 3 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
113
click to vote
PLSA
1994
15 years 6 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
115
Voted
SERA
2009
Springer
15 years 9 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...