Sciweavers

7064 search results - page 34 / 1413
» From States to Histories
Sort
View
ISCA
1997
IEEE
119views Hardware» more  ISCA 1997»
13 years 11 months ago
The Agree Predictor: A Mechanism for Reducing Negative Branch History Interference
Deeply pipelined, superscalar processors require accurate branch prediction to achieve high performance. Two-level branch predictors have been shown to achieve high prediction acc...
Eric Sprangle, Robert S. Chappell, Mitch Alsup, Ya...
FMCAD
2008
Springer
13 years 9 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
EMNLP
2008
13 years 9 months ago
Studying the History of Ideas Using Topic Models
How can the development of ideas in a scientific field be studied over time? We apply unsupervised topic modeling to the ACL Anthology to analyze historical trends in the field of...
David Hall, Daniel Jurafsky, Christopher D. Mannin...
INTERACTIONS
1998
145views more  INTERACTIONS 1998»
13 years 7 months ago
A brief history of human-computer interaction technology
This article summarizes the historical development of major advances in humancomputer interaction technology, emphasizing the pivotal role of university research in the advancemen...
Brad A. Myers
FAST
2009
13 years 5 months ago
The Case of the Fake Picasso: Preventing History Forgery with Secure Provenance
As increasing amounts of valuable information are produced and persist digitally, the ability to determine the origin of data becomes important. In science, medicine, commerce, an...
Ragib Hasan, Radu Sion, Marianne Winslett