Sciweavers

8099 search results - page 127 / 1620
» Higher-Order Task Models
Sort
View
ISPAN
2008
IEEE
16 years 1 months ago
Task Parallelism for Object Oriented Programs
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
Nasser Giacaman, Oliver Sinnen
IFIP
2004
Springer
16 years 3 days ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
219
Voted
RTSS
2003
IEEE
16 years 10 hour ago
Scheduling Real-Time Dwells Using Tasks with Synthetic Periods
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra ...
CHI
2010
ACM
16 years 1 months ago
On reconstruction of task context after interruption
Theoretical accounts of task resumption after interruption have almost exclusively argued for resumption as a primarily memory-based process. In contrast, for many task domains, r...
Dario D. Salvucci
CHI
2010
ACM
16 years 1 months ago
PIM-Mail: consolidating task and email management
Traditional email clients are built with a “one-touch” model in mind that assumes an immediate action is performed once an email is read. However, some emails require a follow...
Jan-Peter Krämer