Sciweavers

2482 search results - page 257 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
96
Voted
DATE
2007
IEEE
99views Hardware» more  DATE 2007»
15 years 9 months ago
Instruction trace compression for rapid instruction cache simulation
Modern Application Specific Instruction Set Processors (ASIPs) have customizable caches, where the size, associativity and line size can all be customized to suit a particular ap...
Andhi Janapsatya, Aleksandar Ignjatovic, Sri Param...
131
Voted
LCPC
2007
Springer
15 years 8 months ago
Using ZBDDs in Points-to Analysis
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
Ondrej Lhoták, Stephen Curial, José ...
119
Voted
ERLANG
2006
ACM
15 years 8 months ago
Dryverl: a flexible Erlang/C binding compiler
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
Romain Lenglet, Shigeru Chiba
139
Voted
HASKELL
2006
ACM
15 years 8 months ago
Strong types for relational databases
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
Alexandra Silva, Joost Visser
ACMSE
2005
ACM
15 years 8 months ago
Interactive 3D terrain exploration and visualization
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
Stephanie A. Smullen, Clinton W. Smullen III, Carl...