1446 search results - page 65 / 290 » Hardware Software Co-Design Using Functional Languages |
141
click to vote
IEEEICCI
2005
IEEE
15 years 8 months ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
114
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
101
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
133
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
127
click to vote
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...