264 search results - page 21 / 53 » Source-Based Trace Exploration |
205
Voted
CG
2008
Springer
15 years 6 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...
143
Voted
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Pipelined ASIC architectures are increasingly being used in forwarding engines for high speed IP routers. We explore optimization issues in the design of memory-efficient data...
172
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
155
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
The ease with which one can copy and transform data on the Web, has made it increasingly di cult to determine the origins of a piece of data. We use the term data provenance to ref...
158
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
—High-level simulation and design space exploration nowadays are key ingredients for system-level design of modern multimedia embedded systems. The majority of the work in this a...