Sciweavers

10392 search results - page 1842 / 2079
» Introduction to Computer Science
Sort
View
JACM
2007
85views more  JACM 2007»
15 years 6 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
TROB
2008
154views more  TROB 2008»
15 years 6 months ago
Dynamic Performance of Mobile Haptic Interfaces
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
Alessandro Formaglio, Domenico Prattichizzo, Feder...
JLP
2007
95views more  JLP 2007»
15 years 6 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
JSAC
2007
129views more  JSAC 2007»
15 years 6 months ago
Content-Aware Resource Allocation and Packet Scheduling for Video Transmission over Wireless Networks
— A cross-layer packet scheduling scheme that streams pre-encoded video over wireless downlink packet access networks to multiple users is presented. The scheme can be used with ...
Peshala V. Pahalawatta, Randall Berry, Thrasyvoulo...
JUCS
2007
124views more  JUCS 2007»
15 years 6 months ago
Pipeline-scheduling Simulator for Educational Purpose
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
José M. Chaves-González, Miguel A. V...
« Prev « First page 1842 / 2079 Last » Next »