1141 search results - page 133 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
100
click to vote
PADS
2004
ACM
15 years 6 months ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
101
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
111
click to vote
CHI
1997
ACM
15 years 4 months ago
1997
ACM
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...
88
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
94
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper describes an area-efficient mixed-signal implementation of synapse-based long term plasticity realized in a VLSI1 model of a spiking neural network. The artificial...