1446 search results - page 215 / 290 » Hardware Software Co-Design Using Functional Languages |
153
Voted
CSI
2007
15 years 2 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
118
Voted
VLSI
2005
Springer
15 years 8 months ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
136
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
107
click to vote
CW
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
114
Voted
ANSOFT
2002
15 years 2 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...