4716 search results - page 752 / 944 » Tangible functional programming |
113
click to vote
HPCA
1999
IEEE
15 years 3 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
89
Voted
CODES
2007
IEEE
15 years 2 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
CODES
2006
IEEE
15 years 2 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
111
click to vote
CAV
2008
Springer
15 years 27 days ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
99
Voted
EUROCRYPT
2008
Springer
15 years 19 days ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...