1446 search results - page 77 / 290 » Hardware Software Co-Design Using Functional Languages |
122
Voted
FPL
2005
Springer
15 years 8 months ago
2005
Springer
— During codesign of a system, one still runs into the impedance mismatch between the software and hardware worlds. er identifies the different levels of abstraction of hardware...
115
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
106
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
124
Voted
DAGSTUHL
2004
15 years 3 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
120
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...