75 search results - page 10 / 15 » Computing Applicability Conditions for Plans with Loops |
143
Voted
PPOPP
2010
ACM
16 years 28 days ago
2010
ACM
We present Lazy Binary Splitting (LBS), a user-level scheduler of nested parallelism for shared-memory multiprocessors that builds on existing Eager Binary Splitting work-stealing...
159
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
129
Voted
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
118
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
As users interact with an increasing array of personal computing devices, maintaining consistency of data across those devices becomes significantly more difficult. Typical soluti...
131
Voted
IH
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...