2756 search results - page 425 / 552 » Computation-Centric Memory Models |
114
click to vote
WSC
2004
15 years 5 months ago
2004
In time-parallel simulation, the simulation time axis is decomposed into a number of slices which are assigned to parallel processes for concurrent simulation. Although a promisin...
142
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
196
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
164
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
135
click to vote
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...