1446 search results - page 114 / 290 » Hardware Software Co-Design Using Functional Languages |
262
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
136
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
139
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The authors of this paper have all developed a framework that allows runtime adaptation of software systems. Based on our experiences, we wish to summarize common pitfall...
112
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
122
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...