8766 search results - page 1385 / 1754 » Functional logic programming |
137
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
120
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
145
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
For the development and evaluation of CAD-tools for partitioning, floorplanning, placement, and routing of digital circuits, a huge amount of benchmark circuits with suitable cha...
134
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Mobile information appliances are increasingly used in numerous different situations and locations, setting new requirements to their interaction methods. When the user's situ...
161
click to vote
IDMS
1999
Springer
15 years 8 months ago
1999
Springer
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....