Sciweavers

4355 search results - page 511 / 871
» From Interpretation to Compilation
Sort
View
ISPA
2005
Springer
16 years 8 days ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
LCTRTS
2005
Springer
16 years 8 days ago
A dictionary construction technique for code compression systems with echo instructions
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
Philip Brisk, Jamie Macbeth, Ani Nahapetian, Majid...
177
Voted
LCTRTS
2005
Springer
16 years 8 days ago
Probabilistic source-level optimisation of embedded programs
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
Björn Franke, Michael F. P. O'Boyle, John Tho...
OOPSLA
2005
Springer
16 years 8 days ago
Subtext: uncovering the simplicity of programming
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
Jonathan Edwards
PET
2005
Springer
16 years 8 days ago
Failures in a Hybrid Content Blocking System
Abstract. Three main methods of content blocking are used on the Internet: blocking routes to particular IP addresses, blocking specific URLs in a proxy cache or firewall, and pr...
Richard Clayton