Sciweavers

18572 search results - page 306 / 3715
» High performance C
Sort
View
JAR
2007
90views more  JAR 2007»
15 years 6 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
JILP
2000
87views more  JILP 2000»
15 years 6 months ago
Design and Analysis of Profile-Based Optimization in Compaq's Compilation Tools for Alpha
This paper describes and evaluates the profile-based optimizations in the Compaq C compiler tool chain for Alpha. The optimizations include superblock formation, inlining, command...
Robert S. Cohn, P. Geoffrey Lowney
PDP
2009
IEEE
16 years 1 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
HCI
2007
15 years 8 months ago
Cyberwalk: Implementation of a Ball Bearing Platform for Humans
This paper presents an advanced model of a treadmill using balls which are actuated by a belt on a turntable. The platform is able to run at high speeds which exceed normal walking...
Martin C. Schwaiger, Thomas Thümmel, Heinz Ul...
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
16 years 1 months ago
A highly resilient routing algorithm for fault-tolerant NoCs
Current trends in technology scaling foreshadow worsening transistor reliability as well as greater numbers of transistors in each system. The combination of these factors will so...
David Fick, Andrew DeOrio, Gregory K. Chen, Valeri...