570 search results - page 34 / 114 » A Core Calculus of Dependency |
120
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
123
Voted
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
Simultaneous Multithreading (SMT) attempts to keep a dynamically scheduled processor's resources busy with work from multiple independent threads. Threads with longlatency st...
161
Voted
FTCS
1998
15 years 5 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
141
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
138
Voted
AIRS
2008
Springer
15 years 10 months ago
2008
Springer
Topic tracking is an important task of Topic Detection and Tracking (TDT). Its purpose is to detect stories, from a stream of news, related to known topics. Each topic is “known...