|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5340 occurrences of 2663 keywords
|
|
|
Results
Found 8231 publication records. Showing 8220 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Rhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang |
STEP: a framework for the efficient encoding of general trace data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002, pp. 27-34, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program event trace, sequential data encoding, data definition language |
30 | S. Shaheen Fatima |
TRACE - An Adaptive Organizational Policy for MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 722-726, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
adaptive organizational policy, Task and Resource Allocation in a Computational Economy, load variations, problem-solving organizations, task allocation protocol, subtask allocation, lost requests, price-directed resource allocation protocol, multi-agent systems, MAS, multi agent system, resource allocation, TRACE, time constraints, RAP |
30 | Stephen D. Cohen, Dirk Hachenberger |
Primitive Normal Bases with Prescribed Trace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(5), pp. 383-403, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Free element, Finite field, Trace, Normal basis, Primitive element, Character sum |
30 | Cosimo Antonio Prete, Gianpaolo Prina, Luigi M. Ricciardi |
A Trace-Driven Simulator for Performance Evaluation of Cache-Based Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(9), pp. 915-929, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiple cache consistency, performance analysis, multiprocessor, Cache memory, trace-driven simulation, coherence protocol |
30 | Gwénaël Richomme |
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 577-586, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
trace monoids, Star Problem, Finite Power Property Problem, recognizability |
30 | Jiun-Ming Hsu, Prithviraj Banerjee |
Performance Measurement and Trace Driven Simulation of Parallel CAD and Numeric Applications on a Hypercube Multicomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(4), pp. 451-464, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
parallel CAD, realistic workloads, time interval distributions, statistical functions, nonlinear regression technique, message destinations, trace-drive simulation environment, performance evaluation, performance evaluation, parallel programs, parallel programming, benchmarks, statistical analysis, hypercube networks, digital simulation, workload characterization, execution traces, temporal locality, spatial locality, hypercube multicomputer, software monitoring, DMA, message length, link utilizations |
30 | Jennifer Widom, David Gries, Fred B. Schneider |
Trace-Based Network Proof Systems: Expressiveness and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 14(3), pp. 396-416, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
trace logics, temporal logics, safety properties, process networks |
30 | Jon Oldevik, Øystein Haugen |
From sequence diagrams to Java-stairs aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 99-110, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sequence diagram aspects, trace-based aspects, refinement |
30 | Xiao Liu 0011, Qiang Xu 0001 |
Interconnection fabric design for tracing signals in post-silicon validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 352-357, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace-based debug, post-silicon validation |
30 | Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli |
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-hoc, Mobile and Wireless Networks, 7th International Conference, ADHOC-NOW 2008, Sophia-Antipolis, France, September 10-12, 2008, Proceedings, pp. 345-356, 2008, Springer, 978-3-540-85208-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis |
30 | Ryad Ben-El-Kezadri, Farouk Kamoun, Guy Pujolle |
XAV: a fast and flexible tracing framework for network simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008, pp. 47-53, 2008, ACM, 978-1-60558-235-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
on line analysis processing, trace file, XML, database, XQuery, network simulation |
30 | Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury |
Design space exploration of caches using compressed traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 18th Annual International Conference on Supercomputing, ICS 2004, Saint Malo, France, June 26 - July 01, 2004, pp. 116-125, 2004, ACM, 1-58113-839-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
compressed trace, single pass simulation, cache, design space exploration |
30 | Atsuko Miyaji, Masaki Nakabayashi, Shunzo Takano |
Characterization of Elliptic Curve Traces under FR-Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2000, Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings, pp. 90-108, 2000, Springer, 3-540-41782-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
FR-reduction, trace, elliptic curve cryptosystems, number theory |
30 | David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang |
Determining Possible Event Orders by Analyzing Sequential Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(7), pp. 827-840, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders |
29 | Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni |
KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 83-92, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Kun Bai, Meng Yu 0001, Peng Liu 0005 |
TRACE: Zero-Down-Time Database Damage Tracking, Quarantine, and Cleansing with Negligible Run-Time Overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, pp. 161-176, 2008, Springer, 978-3-540-88312-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Guofei Jiang, Haifeng Chen, Cristian Ungureanu, Kenji Yoshihira |
Multiresolution Abnormal Trace Detection Using Varied-Length n-Grams and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(1), pp. 86-97, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Kai-Hui Chang, Valeria Bertacco, Igor L. Markov |
Simulation-Based Bug Trace Minimization With BMC-Based Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(1), pp. 152-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
Making trace monitors feasible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 589-608, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
program analysis, runtime verification, program monitors |
29 | Nan Liu 0003, Han Wang 0001 |
Extraction of hybrid trace features with evolutionary computation for face recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2493-2500, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Chunhua Shen, Hongdong Li, Michael J. Brooks |
A Convex Programming Approach to the Trace Quotient Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II, pp. 227-235, 2007, Springer, 978-3-540-76389-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Markus Geimer, Felix Wolf 0001, Brian J. N. Wylie, Bernd Mohr |
Scalable Parallel Trace-Based Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 303-312, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Pasin Israsena, Izzet Kale |
A high-speed, low-power interleaved trace-back memory for Viterbi decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Xiao Hu, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang |
TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings, pp. 806-817, 2006, Springer, 3-540-68067-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Felix Wolf 0001, Allen D. Malony, Sameer Shende, Alan Morris |
Trace-Based Parallel Performance Overhead Compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings, pp. 617-628, 2005, Springer, 3-540-29031-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
overhead compensation, parallel computing, message passing, analysis, Performance measurement, tracing |
29 | Guofei Jiang, Haifeng Chen, Cristian Ungureanu, Kenji Yoshihira |
Multi-resolution Abnormal Trace Detection Using Varied-length N-grams and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Second International Conference on Autonomic Computing (ICAC 2005), 13-16 June 2005, Seattle, WA, USA, pp. 111-122, 2005, IEEE Computer Society, 0-7695-2276-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Christian Skalka |
Trace effects and object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 139-150, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
temporal program logic, type and effect, type constraints |
29 | Bülent Tavli, Wendi Rabiner Heinzelman |
MH-TRACE: multihop time reservation using adaptive control for energy efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(5), pp. 942-953, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Olaf Chitil |
Source-Based Trace Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 126-141, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alexander Egyed |
Resolving uncertainties during trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 3-12, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alexander Egyed |
A Scenario-Driven Approach to Trace Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(2), pp. 116-132, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), Traceability, software models, test scenarios |
29 | Spiros Kalogeropulos |
An Enhanced Trace Scheduler for SPARC Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 597-602, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Kai-Feng Wang, Zhenzhou Ji, Mingzeng Hu |
Simultaneous Multithreading Trace Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, pp. 96-103, 2003, Springer, 3-540-20054-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Maurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa |
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 10-12 November 2003, Sao Paulo, Brazil, pp. 36-45, 2003, IEEE Computer Society, 0-7695-2046-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ravi Bhargava, Lizy Kurian John |
Improving Dynamic Cluster Assignment for Clustered Trace Cache Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 264-274, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ching-Farn Eric Wu, Anthony Bolmarcich |
Gantt Chart Visualization for MPI and Apache Multi-Dimensional Trace Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 523-528, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Afzal Hossain, Daniel J. Pease, James S. Burns, Nasima Parveen |
A Mathematical Model of Trace Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 13th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2002), 17-19 July 2002, San Jose, CA, USA, pp. 151-162, 2002, IEEE Computer Society, 0-7695-1712-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Trishul M. Chilimbi, Richard E. Jones, Benjamin G. Zorn |
Designing a Trace Format for Heap Allocation Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, USA, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings, pp. 35-49, 2000, ACM, 1-58113-263-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Kirsten |
Some Undecidability Results Related to the Star Problem in Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings, pp. 227-236, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Sarah Mallet, Mireille Ducassé |
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 328-330, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Martin C. Herbordt, Owais Kidwai, Charles C. Weems |
Preprototyping SIMD Coprocessors Using Virtual Machine Emulation and Trace Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, Seattle, Washington, USA, June 15-18, 1997, pp. 88-99, 1997, ACM, 0-89791-909-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, Maged M. Michael |
Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 39-44, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Jochen Meßner |
Pattern Matching in Trace Monoids (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 571-582, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Rolf Borgeest, Christian Rödel |
Trace Analysis with a Relational Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 243-251, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Performance Analysis, Relational Databases, Parallel systems |
29 | Pierre-André Wacrenier |
Semi-Trace Morphisms and Rational Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 303-317, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | S. Alan Ezust, Gregor von Bochmann |
An Automatic Trace Analysis Tool Generator for Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1995 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, MA, USA, August 28 - September 1, 1995., pp. 175-184, 1995, ACM, 0-89791-711-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Alexander Moshe Rabinovich |
Logic of Trace Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 504-517, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Edward Ochmanski |
On Morphisms of Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings, pp. 346-355, 1988, Springer, 3-540-18834-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini |
Analysis of a Class of Algorithms for Problems on Trace Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings, pp. 202-214, 1986, Springer, 3-540-19200-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining Counterexamples Using Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 94-108, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Fu-Ching Yang, Cheng-Lung Chiang, Ing-Jer Huang |
A reverse-encoding-based on-chip AHB bus tracer for efficient circular buffer utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 721-726, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mireille Ducassé |
(C)LP Tracing and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 38, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Fabian Angarita, Ma José Canet, T. Sansaloni, Javier Valls, Vicenc Almenar-Terre |
Architectures for the Implementation of a OFDM-WLAN Viterbi Decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 52(1), pp. 35-44, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless LAN, OFDM, viterbi |
28 | Peter Kemper, Carsten Tepper |
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 101-110, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Aggelos Kiayias, Serdar Pehlivanoglu |
Pirate Evolution: How to Make the Most of Your Traitor Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2007, 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings, pp. 448-465, 2007, Springer, 978-3-540-74142-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Andrew B. T. Hopkins, Klaus D. McDonald-Maier |
Debug Support Strategy for Systems-on-Chips with Multiple Processor Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(2), pp. 174-184, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multiprocessor systems, System architectures, real-time and embedded systems, debugging aids, integration and modeling |
28 | José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez 0001 |
Fast Testing of Critical Properties through Passive Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 295-310, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Roberto Giacobazzi, Francesco Ranzato |
States vs. Traces in Model Checking by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 461-476, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Angela Sampogna, David R. Kaeli, Daniel Green, Michael Silva, Christopher J. Sniezek |
Performance Modeling Using Object-Oriented Execution-Driven Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 29st Annual Simulation Symposium (SS '96), April 8-11, 1996, New Orleans, LA, USA, pp. 183-192, 1996, IEEE Computer Society, 0-8186-7432-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick |
A correctness criterion for asynchronous circuit validation and optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(11), pp. 1309-1318, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Frank McSherry, Ratul Mahajan |
Differentially-private network trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2010 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, New Delhi, India, August 30 -September 3, 2010, pp. 123-134, 2010, ACM, 978-1-4503-0201-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
trace analysis, differential privacy |
26 | Gérard Meurant |
Estimates of the trace of the inverse of a symmetric matrix using the modified Chebyshev algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 51(3), pp. 309-318, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Chebyshev algorithm, Trace, Inverse |
26 | Mohammad Faidzul Nasrudin, Khairuddin Omar, Choong-Yeun Liong, Mohamad Shanudin Zakaria |
Invariant Features from the Trace Transform for Jawi Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 256-263, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Jawi Character Recognition, Moment Invariant, Multilayer Perceptron Neural Network, Trace Transform |
26 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 453-464, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids |
26 | Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
Tracing for web 3.0: trace compilation for the next generation web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009, pp. 71-80, 2009, ACM, 978-1-60558-375-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages |
26 | Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001 |
Towards trace semantics for WS-CDL with alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 95-99, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantics, trace, alignment, WS-CDL |
26 | Pierre Salverda, Charles Tucker, Craig B. Zilles |
Accurate critical path prediction via random trace construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 64-73, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
instruction criticality, trace fabrication, profiling |
26 | Wolfgang Kiess, Nadine Chmill, Ulrich Wittelsbürger, Martin Mauve |
Modular network trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 5th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2008, Vancouver, British Columbia, Canada, October 27-28, 2008, pp. 1-6, 2008, ACM, 978-1-60558-236-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
trace file analysis, simulation, visualization, ad hoc networks, wireless networks, experiments |
26 | Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars |
Trace-based Reflexive Testing of OO Programs with T2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 151-160, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
trace based testing, sequence based testing, unit testing, automated testing |
26 | Minseok Song 0001, Christian W. Günther, Wil M. P. van der Aalst |
Trace Clustering in Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 109-120, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
trace clustering, Quality threshold, data mining, case study, SOM, K-means, Process mining, process discovery |
26 | Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews |
Trace anomalies as precursors of field failures: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 12(5), pp. 447-469, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Deployed software analysis, Empirical study, Anomaly detection, Trace analysis |
26 | Petr Kloucek, Danny C. Sorensen, Jennifer L. Wightman |
The Approximation and Computation of a Basis of the Trace Space H 1/2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 32(1), pp. 73-108, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Steklov eigenvalues problem, trace spaces, generalized eigenvalue problem, elliptic PDEs |
26 | Tao Xu 0002, Krishnendu Chakrabarty |
Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 112-117, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
connect-5 algorithm, droplet trace, droplet-based microfluidics, pin-constrained biochip design, synthesis |
26 | Alex Ramírez, Josep Lluís Larriba-Pey, Mateo Valero |
Software Trace Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(1), pp. 22-35, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compiler optimizations, branch prediction, Pipeline processors, trace cache, instruction fetch |
26 | Dohyung Kim 0007, Youngmin Yi, Soonhoi Ha |
Trace-driven HW/SW cosimulation using virtual synchronization technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 345-348, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trace-driven cosimulation, virtual synchronization |
26 | Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
Automatic trace analysis for logic of constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 460-465, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic of constraints, performance constraint, simulation checker, trace analysis |
26 | Sang Jeong Lee, Pen-Chung Yew |
On Augmenting Trace Cache for High-Bandwidth Value Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(9), pp. 1074-1088, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Instruction Level Parallelism, data dependences, Value prediction, trace cache, dynamic classification |
26 | Soo-Cheol Ha, Jae-Eon Choi |
A model design of the Track & Trace system for e-logistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 2(1), pp. 5-15, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Track & trace system, e-Logistics, UML(Unified Modeling Language) |
26 | Odd-Wiking Rahlff, Rolf Kenneth Rolfsen, Jo Herstad |
Using Personal Traces in Context Space: Towards Context Trace Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 5(1), pp. 50-53, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Context matching, Context space, Context trace technology, Contextual awareness, Wearable computer |
26 | Alexander Kadyrov, Maria Petrou |
The Trace Transform and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(8), pp. 811-828, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
image database search, change detection, Radon transform, invariant features, Trace transform |
26 | Jih-Ching Chiu, I-Huan Huang, Chung-Ping Chung |
Design of Instruction Stream Buffer with Trace Support for X86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, ICCD '00, Austin, Texas, USA, September 17-20, 2000, pp. 294-299, 2000, IEEE Computer Society, 0-7695-0801-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
instruction stream buffer, x86 architecture, multiple instruction fetch, superscalar processor, ILP, Trace cache |
26 | Maria Handjieva, Stanislav Tzolovski |
Refining Static Analyses by Trace-Based Partitioning Using Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 200-214, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reduced cardinal power, abstract interpretation, trace semantics |
26 | P. Vijay Kumar, Tor Helleseth |
An Expansion for the Coordinates of the Trace Function over Galois Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(5), pp. 353-361, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Trace function, Coordinate sequences, Linear span, Linear complexity, Galois rings |
26 | Sanjeev Setia |
Trace-driven Analysis of Migration-based Gang Scheduling Policies for Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1997 International Conference on Parallel Processing (ICPP '97), August 11-15, 1997, Bloomington, IL, USA, Proceedings, pp. 489-492, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel supercomputers, performance evaluation, Job scheduling, trace-driven simulation, gang-scheduling |
26 | Alfred P. Maneki |
Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 16-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties |
26 | Albert John Camilleri |
Mechanizing CSP Trace Theory in Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 993-1004, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes |
26 | Songnian Zhou |
A Trace-Driven Simulation Study of Dynamic Load Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1327-1341, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
homogeneous distributed systems, job transfer, job response times, scheduling, scheduling, broadcasting, distributed databases, dynamic load balancing, trace-driven simulation, CPU, input/output, input-output programs, message exchange |
25 | Mustafa M. Tikir, Michael Laurenzano, Laura Carrington, Allan Snavely |
PSINS: An Open Source Event Tracer and Execution Simulator for MPI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 135-148, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Message Passing Applications, High Performance Computing, Performance Prediction, Supercomputers, Trace-Driven Simulation |
25 | Han Wan, Xiaopeng Gao, Zhiqiang Wang |
Cache simulator based on GPU acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 63, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace-driven, multi-core, GPGPU, CUDA, cache simulator |
25 | Jungkuk Kim, Minkyu Kim, Daesun Kim, Jaehyun Park, Woong Huh |
An event detection algorithm in ECG with 60Hz interference and baseline wandering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 713-716, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
60Hz interference, QRS complex, baseline wandering, slope trace wave, ECG |
25 | Alexander V. Mirgorodskiy, Barton P. Miller |
Diagnosing Distributed Systems with Self-propelled Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, pp. 82-103, 2008, Springer, 978-3-540-89855-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance analysis, anomaly detection, trace analysis, distributed debugging, dynamic instrumentation |
25 | Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager |
A testing scenario for probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(6), pp. 29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory |
25 | Maria Petrou, Alireza Talebpour, Alexander Kadyrov |
Reverse engineering the way humans rank textures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 10(2), pp. 101-114, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reverse engineering, Texture classification, Perceptual grouping, Trace transform |
25 | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin |
Testing Distributed Systems Through Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 263-279, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
global property, model checking of traces, trace checking, testing, asynchronous distributed systems |
25 | Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich |
A formal approach to property testing in causally consistent distributed traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(1), pp. 63-83, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Distributed systems, Monitoring, SDL, Trace analysis, System validation, Passive testing |
25 | Yun-Nan Chang |
An Efficient In-Place VLSI Architecture for Viterbi Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 33(3), pp. 317-324, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
register-exchange, trace-back, ACS unit, Viterbi decoder |
25 | Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers |
Automatic Derivation of Timing Constraints by Failure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 195-208, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits |
24 | Bas Cornelissen, Andy Zaidman, Arie van Deursen, Bart Van Rompaey |
Trace visualization for program comprehension: A controlled experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 100-109, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Franz Baader, Andreas Bauer 0002, Alwen Tiu |
Matching Trace Patterns with Regular Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings, pp. 105-116, 2009, Springer, 978-3-642-00981-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Guang Cheng 0001, Yongning Tang, Jiexin Jiang, Wei Ding 0001 |
A Trace Measurement and Analysis System for the Multi-Links CERNET Backbone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 341-346, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 8220 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|