5838 search results - page 868 / 1168 » A File System for System Programming in Ubiquitous Computing |
142
click to vote
MA
1998
Springer
15 years 9 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
124
click to vote
OOPSLA
1989
Springer
15 years 8 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modiļ¬ed versions of recursive d...
139
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed eļ¬...
123
click to vote
FECS
2007
15 years 6 months ago
2007
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...
151
click to vote
CNL
2009
15 years 5 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...