Sciweavers

2343 search results - page 44 / 469
» Structure and Interpretation of Computer Programs
Sort
View
SIGGRAPH
1998
ACM
15 years 6 months ago
A Distributed 3D Graphics Library
We present Repo-3D, a general-purpose, object-oriented library for developing distributed, interactive 3D graphics applications across a range of heterogeneous workstations. Repo-...
Blair MacIntyre, Steven Feiner
EMSOFT
2004
Springer
15 years 6 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
ZUM
2000
Springer
15 years 6 months ago
Recursive Schema Definitions in Object-Z
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
Graeme Smith
PPDP
2009
Springer
15 years 9 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
112
Voted
ESWA
2006
114views more  ESWA 2006»
15 years 2 months ago
Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...
Athanasios Tsakonas, Georgios Dounias, Michael Dou...