2958 search results - page 412 / 592 » Extending and Implementing RASP |
133
Voted
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
153
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
141
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
136
Voted
GMP
2002
IEEE
15 years 8 months ago
2002
IEEE
Implicit surfaces in 3D geometric modeling are limited to two manifolds because the corresponding implicit fields are usually defined by real-valued functions which bisect space...
141
Voted
HOTI
2002
IEEE
15 years 8 months ago
2002
IEEE
A “Storage-Area Network” (SAN) comprises computers (“Initiators”), storage “block devices” (“Targets”), and a Controller(s). Most SANs use the SCSI protocol over v...