1446 search results - page 64 / 290 » Hardware Software Co-Design Using Functional Languages |
110
Voted
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
103
click to vote
KBSE
2010
IEEE
15 years 26 days ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
109
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
128
Voted
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
142
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...