264 search results - page 44 / 53 » Source-Based Trace Exploration |
CONCURRENCY
2008
14 years 9 months ago
2008
ct Job Provenance (JP) is a Grid service that keeps long-term trace on completed computations for further reference. It is a job-centric service, keeping records about job life cyc...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Vehicular Ad hoc NETworks (VANETs) have emerged as a platform to support intelligent inter-vehicle communication and improve traffic safety and performance. The road-constrained a...
JCB
2006
14 years 9 months ago
2006
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micromolecule as well as in studying the folding pathways of...
CCR
2004
14 years 9 months ago
2004
Most packet processing applications receive and process multiple types of packets. Today, the processors available within packet processing systems are allocated to packet types a...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...