1141 search results - page 133 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
136
click to vote
PADS
2004
ACM
15 years 10 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...
136
click to vote
CAV
2009
Springer
16 years 5 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...
158
click to vote
CHI
1997
ACM
15 years 9 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...
138
click to vote
SCAM
2006
IEEE
15 years 11 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...
145
click to vote
IJCNN
2006
IEEE
15 years 11 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...