4719 search results - page 754 / 944 » Spreadsheet functional programming |
137
click to vote
CODES
2007
IEEE
15 years 7 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...
131
Voted
CODES
2006
IEEE
15 years 7 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...
156
click to vote
CAV
2008
Springer
15 years 5 months 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...
145
Voted
EUROCRYPT
2008
Springer
15 years 5 months 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...
118
Voted
ISMB
1993
15 years 4 months ago
1993
Using a flexible representation of biological sequences, we have performed a comparative analysis of 1208 known tRNA sequences. We believe we our technique is a more sensitive met...