12084 search results - page 329 / 2417 » Effect Systems with Subtyping |
297
Voted
ISCA
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we consider the tree task graphs which arise from many important programming paradigms such as divide and conquer, branch and bound etc., and the linear task-graphs...
282
click to vote
VEE
2012
ACM
14 years 3 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
204
Voted
VTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Trace buffers are commonly used to capture data during in-system silicon debug. This paper exploits the fact that it is not necessary to capture error-free data in the trace buffe...
213
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a mobile system that supports young students learning history at an archaeological site. It adopts gameplay as a novel and effective technique particularly suit...
218
Voted
KES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...