9110 search results - page 1651 / 1822 » Formally-Based Design Evaluation |
149
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
140
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
163
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Network-on-Chips (NoCs) are quite latency sensitive, since their communication latency strongly affects the application performance on recent many-core architectures. To reduce th...
149
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...
152
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Customer preferences for products are drifting over time. Product perception and popularity are constantly changing as new selection emerges. Similarly, customer inclinations are ...