Sciweavers

1816 search results - page 275 / 364
» Trace oblivious computation
Sort
View
135
Voted
MOBIHOC
2012
ACM
13 years 5 months ago
Dissemination in opportunistic social networks: the role of temporal communities
: Epidemic content dissemination in opportunistic social networks (OSN) has been analyzed in depth, theoretically and empirically. Most related works have studied the pairwise cont...
Anna Kaisa Pietiläinen, Christophe Diot
211
Voted
TSE
2012
13 years 5 months ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...
113
Voted
DAC
2012
ACM
13 years 5 months ago
Improving gate-level simulation accuracy when unknowns exist
Unknown values (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Due to X-pessimism in gate-level logic simulation, such Xs cannot be hand...
Kai-Hui Chang, Chris Browy
ACL
2012
13 years 5 months ago
Sentence Dependency Tagging in Online Question Answering Forums
Online forums are becoming a popular resource in the state of the art question answering (QA) systems. Because of its nature as an online community, it contains more updated knowl...
Zhonghua Qu, Yang Liu
SIGGRAPH
1994
ACM
15 years 7 months ago
Frameless rendering: double buffering considered harmful
The use of double-buffered displays, in which the previous image is displayed until the next image is complete, can impair the interactivity of systems that require tight coupling...
Gary Bishop, Henry Fuchs, Leonard McMillan, Ellen ...