4763 search results - page 85 / 953 » On the Execution of Deep Models |
SIGSOFT
2009
ACM
16 years 13 days ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
IMSCCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...
112
click to vote
SC
2005
ACM
15 years 5 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
100
click to vote
ER
2004
Springer
15 years 5 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
WSC
1997
15 years 1 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...