1743 search results - page 167 / 349 » Language resources for Hebrew |
131
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
125
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
135
click to vote
UM
2010
Springer
15 years 9 months ago
2010
Springer
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
108
click to vote
ICDCS
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
142
click to vote
LCPC
1995
Springer
15 years 8 months ago
1995
Springer
Heterogeneous parallel systems incorporate diverse models of parallelism within a single machine or across machines and are better suited for diverse applications 25, 43, 30]. Thes...