22358 search results - page 4251 / 4472 » Software Performance Engineering |
121
Voted
FORTE
1994
15 years 4 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
132
click to vote
PPSC
1993
15 years 4 months ago
1993
Scalable parallel computers with TFLOPS (Trillion FLoating Point Operations Per Second) performance levels are now under construction. While we believe TFLOPS processor technology...
111
click to vote
SOSP
1993
ACM
15 years 4 months ago
1993
ACM
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...
129
Voted
CHES
2010
Springer
15 years 4 months ago
2010
Springer
The need for lightweight (that is, compact, low-power, low-energy) cryptographic hash functions has been repeatedly expressed by application designers, notably for implementing RFI...
151
Voted
CIDR
2009
15 years 4 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...