72 search results - page 5 / 15 » Beating the Productivity Checker Using Embedded Languages |
123
click to vote
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
FDL
2008
IEEE
14 years 11 months ago
2008
IEEE
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
IEEECIT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
ICFP
2002
ACM
15 years 10 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...