10575 search results - page 1732 / 2115 » Programming Languages |
189
click to vote
UM
2010
Springer
15 years 12 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
149
Voted
UM
2010
Springer
15 years 12 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
210
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
206
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
163
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...