956 search results - page 70 / 192 » Languages as libraries |
141
Voted
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
163
click to vote
PSSS
2003
15 years 6 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
156
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...
155
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
146
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...