Sciweavers

770 search results - page 59 / 154
» Abstract Yourself With Modules
Sort
View
AH
2004
Springer
15 years 6 months ago
Time-Based Extensions to Adaptation Techniques
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...
Mária Bieliková, Rastislav Habala
86
Voted
ICCS
2004
Springer
15 years 6 months ago
A Real-Time Total Order Multicast Protocol
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
Kayhan Erciyes, Ahmet Sahan
JELIA
2004
Springer
15 years 6 months ago
A System with Template Answer Set Programs
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
Francesco Calimeri, Giovambattista Ianni, Giuseppe...
92
Voted
JELIA
2004
Springer
15 years 6 months ago
The Modal Logic Programming System MProlog
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
Linh Anh Nguyen
109
Voted
IWOMP
2010
Springer
15 years 5 months ago
Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
Patrick Carribault, Marc Pérache, Herv&eacu...