Sciweavers

3814 search results - page 312 / 763
» Operating system support for multimedia systems
Sort
View

Book
695views
17 years 2 months ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig
CSFW
2003
IEEE
16 years 3 hour ago
Type-Based Distributed Access Control
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
Tom Chothia, Dominic Duggan, Jan Vitek
WSC
2008
15 years 9 months ago
An analytical model for conveyor based AMHS in semiconductor wafer fabs
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
Dima Nazzal, Andrew Johnson, Hector J. Carlo, Jesu...
SRDS
2000
IEEE
15 years 11 months ago
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
Jerzy Brzezinski, Michal Sajkowski
USENIX
2000
15 years 8 months ago
JEmacs-The Java/Scheme-based Emacs
JEmacs is a re-implementation of the Emacs programmable text editor. It is written in Java, and uses the Swing GUI toolkit. Emacs is based on the extension language Emacs Lisp (El...
Per Bothner