510 search results - page 72 / 102 » Runtime Prediction of Real Programs on Real Machines |
135
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a framework for audio background modeling of complex and unstructured audio environments. The determination of background audio is important for understanding and predi...
133
click to vote
NIPS
2008
15 years 5 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
136
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores statistical simulation as a fast simulation technique for driving chip multiprocessor (CMP) design space exploration. The idea of statistical simulation is to ...
131
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
214
Voted
PLPV
2011
ACM
14 years 7 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...