9166 search results - page 321 / 1834 » A framework for comparing models of computation |
172
click to vote
FECS
2006
15 years 8 months ago
2006
Improving the quality of student thinking should be given a high priority in any educational system as good thinking is essential in meeting the challenges of living in a rapidly ...
188
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
192
click to vote
ACMICEC
2003
ACM
15 years 12 months ago
2003
ACM
In recent years, the growth of Mobile Computing, Electronic Commerce and Mobile Electronic Commerce has created a new concept of Mobile Electronic Marketing. New marketing models ...
166
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...
296
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...