|
|
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 |
16 | Dan C. Marinescu, Kuei Yu Wang |
Empirical Studies of Paging and I/O Activity of Parallel Programs. |
MASCOTS |
1997 |
DBLP DOI BibTeX RDF |
I/O activity, trace record, traceable event, NAS Benchmark suite, parallel programming, parallel programs, paging, Tcl/Tk, structural biology |
16 | Seongbae Park, SangMin Shim, Soo-Mook Moon |
Evaluation of Scheduling Techniques on a SPARC-based VLIW Testbed. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
SPARC-based VLIW testbed, VLIW microprocessors, Very Long Instruction Word microprocessors, all-path speculation, gcc-generated optimized SPARC code, high-performance VLIW code, nongreedy enhanced pipeline scheduling, nonspeculative operations, profile-based all-path speculation, restricted speculative loads, scheduling compiler, speculative operations, trace-based speculation, performance, compiler, computer architecture, parallel machines, software pipelining, loop unrolling, renaming, memory disambiguation, copies, scheduling techniques |
16 | Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund |
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
audio/video protocol, real-life protocol, real-time considerations, real-time verification tool, error trace, software engineering, formal verification, formal modeling, automatic verification, industrial case study, UPPAAL, assembler code |
16 | Yunn Yen Chen, Jih-Kwon Peir, Chung-Ta King |
Performance of Shared Cache on Multithreaded Architectures. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
shared cache performance, trace-driven simulation technique, storage hierarchy system, multithreaded execution environment, multithread scheduling techniques, server/workstation workload mix, MRU priority scheduling scheme, round-robin scheduling method, absolute hit ratio, concurrent threads, simulation, performance evaluation, parallel architectures, shared memory systems, processor scheduling, cache storage, multithreaded architectures, program traces, set associativity, cache size, direct-map cache |
16 | Luisa Massari, Yves Mahéo |
Performance Evualuation of Automatically Generated Data-Parallel Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
automatically generated data-parallel programs, data-parallel compilers, sequential language, data distribution directives, static description, dynamic description, workload characterization techniques, Pandore environment, profile generation, performance evaluation, parallel programming, software performance evaluation, automatic programming, data partitioning, runtime system, workload model, parallelising compilers, distributed memory parallel computers, performance indices, program execution, trace generation |
16 | Thomas M. Conte, Sanjeev Banerjia, Sergei Y. Larin, Kishore N. Menezes, Sumedh W. Sathaye |
Instruction Fetch Mechanisms for VLIW Architectures with Compressed Encodings. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
TINKER experimental testbed, compressed encodings, compressed instruction encoding, i-fetch hardware, instruction fetch mechanisms, instruction words, multiple instruction issue, silo cache, parallel architectures, trace-driven simulations, instruction cache, VLIW architectures |
16 | Roger Espasa, Mateo Valero |
Decoupled Vector Architectures. |
HPCA |
1996 |
DBLP DOI BibTeX RDF |
decoupled vector architectures, trace driven approach, Perfect Club programs, realistic memory latencies, bypassing technique, total memory traffic, performance advantages, performance evaluation, performance, vector processor, vector processor systems, hardware cost |
16 | Loïc Prylli, Bernard Tourancheau |
Distributed simulation of parallel computers. |
Annual Simulation Symposium |
1996 |
DBLP DOI BibTeX RDF |
MIMD computer, code recompilation, trace file, simulation hosts, application granularity, performance evaluation, parallel computers, virtual machines, local area networks, program compilers, distributed memory systems, distributed simulation, distributed simulator, workstation cluster, distributed memory parallel computers, network latency, virtual timings |
16 | Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, Josep Torrellas |
The Augmint multiprocessor simulation toolkit for Intel x86 architectures. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
Augmint multiprocessor simulation toolkit, Intel x86 architectures, publicly available simulation tools, instruction mix, memory reference patterns, CISC architectures, execution driven multiprocessor simulation toolkit, m4 macro extended C, C++ applications, SPLASH-2 benchmark suites, thread based programming model, shared global address space, private stack space, simulator interface, MINT simulation toolkit, x8d based uniprocessor systems, multiprocessing systems, trace driven simulation, architecture simulators, uniprocessors |
16 | Jianxin Xiong, Dingxing Wang |
Analyzing Nondeterminacy of Message Passing Programs. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
message passing, trace analysis, Parallel debugging |
16 | Juan Sabia, Pablo Solernó |
Bounds for traces in complete intersections and degrees in the Nullstellensatz. |
Appl. Algebra Eng. Commun. Comput. |
1995 |
DBLP DOI BibTeX RDF |
Complete intersection polynomial ideals, Bezout’s inequality, Effective Nullstellensatz, Bertini’s theorem, Trace theory |
16 | Rabin A. Sugumar, Santosh G. Abraham |
Set-Associative Cache Simulation Using Generalized Binomial Trees |
ACM Trans. Comput. Syst. |
1995 |
DBLP DOI BibTeX RDF |
all-associativity simulation, binomial tree, inclusion properties, single-pass simulation, trace-driven simulation, cache modeling, set-associative caches |
16 | Sigrún Andradóttir, Teunis J. Ott |
Time-Segmentation Parallel Simulation of Networks of Queues with Loss or Communication Blocking. |
ACM Trans. Model. Comput. Simul. |
1995 |
DBLP DOI BibTeX RDF |
communication blocking, initialization bias problem, time segmentation, coupling, parallel simulation, trace-driven simulation, communication systems, queueing systems, loss |
16 | Radu Negulescu, Janusz A. Brzozowski |
Relative liveness: from intuition to automated verification. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification |
16 | H. A. Xie, Kevin E. Forward, K. M. Adams, Suthikshn Kumar |
An SBus Multi-Tracer and its applications. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
SBus Multi Tracer, SBus monitoring board, logic analyzer, bus analyzer, trace length, board memory, multi occurrences, trigger patterns, multiple partitions, tracing memory, systematic timing information, pattern occurrences, triggering patterns, SUN SPARC station, field programmable gate arrays, Field Programmable Gate Array, FPGA, logic testing, automatic test equipment, system buses, timing diagrams, computerised monitoring |
16 | Winfried Hahn, Andreas Hagerer, R. Kandlbinder |
Hardware-accelerated concurrent fault simulation: eventflow computing versus dataflow computing. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
hardware-accelerated concurrent fault simulation, eventflow computing, highly-parallel Munich Simulation Computer, compiler-driven simulation, selective trace simulation, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, discrete event simulation, MuSiC, automatic testing, automatic testing, circuit analysis computing, logic simulation, concurrent engineering, test vectors, data flow computing, dataflow computing |
16 | Bernd Mohr, Allen D. Malony, Kesavan Shanmugam |
Speedy: An Integrated Performance Extrapolation Tool for pC++ Programs. |
MMB |
1995 |
DBLP DOI BibTeX RDF |
object-parallel programming, performance debugging tools, modeling, performance prediction, trace-driven simulation, extrapolation |
16 | Gyungho Lee |
An assessment of COMA multiprocessors. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
Cache Only Memory Architecture, Perfect Club Benchmark Suite, coherence policy, performance evaluation, performance, discrete event simulation, memory hierarchy, shared memory systems, distributed memory systems, update, trace driven simulations, cache storage, network traffic, miss ratio, distributed shared memory multiprocessors, shared address space, invalidate |
16 | Qidong Xu, Patricia J. Teller |
Unified vs. split TLBs and caches in shared-memory MP systems. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
data references, performance evaluation, caches, discrete event simulation, shared-memory multiprocessors, shared memory systems, trace-driven simulations, cache storage, performance gains, translation-lookaside buffer |
16 | Nathalie Prevost, Ray E. Jennings, Loki Jörgenson, F. David Fracchia |
Propositional n-traces: Visualizing a Problem in Philosophic Logic. |
IEEE Visualization |
1995 |
DBLP DOI BibTeX RDF |
incoherence, visualization, trace, propositional logic |
16 | Hoon Choi, Kidong Nam, Sun You Kim |
Specification of video-on-demand service using object oriented technique. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
VOD service specification, ITU-T service modeling frame, prose description, static description, service attributes, dynamic description, event trace diagram, VOD service protocols, broadband services, formal specification, interactive video, video on demand service, object oriented technique |
16 | John-David Wellman, Edward S. Davidson |
The resource conflict methodology for early-stage design space exploration of superscalar RISC processors. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
resource conflict methodology, early-stage design space exploration, superscalar RISC processors, execution trace driven simulation, hardware element model, analysis program, performance evaluation, virtual machines, computer architecture, reduced instruction set computing, design cycle |
16 | Jean Paul Calvez, Olivier Pasquier |
Performance assessment of embedded Hw/Sw systems. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
embedded Hw/Sw systems, VLSI components, heterogeneous multiprocessor architectures, complex real-time applications, performance indexes, real-time event occurrences, software tasks, hardware functions, real-time performance analyzer, MCSE methodology, performance evaluation, real-time systems, VLSI, systems analysis, application specific integrated circuits, ASIC, performance assessment, event trace |
16 | Abdul Waheed, Vincent F. Melfi, Diane T. Rover |
A model for instrumentation system management in concurrent computer systems. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution |
16 | Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng |
Goal-oriented dynamic buffer pool management for data base systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
goal-oriented dynamic buffer pool management, dynamic buffer pool size adjustment, multiple buffer pools, complex constrained optimization problem, random access response time goal, database workload, pre-defined response time goals, goal satisfaction algorithm, dynamic tuning, relational databases, optimisation, database management systems, transaction processing, storage management, trace driven simulations, buffer storage, virtual storage |
16 | Grace Tsai, M. Insall, Bruce M. McMillin |
Ensuring the satisfaction of a temporal specification at run-time. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment |
16 | Shigeru Shimada, Kishiko Maruyama, Atsushi Matsumoto, Kazuhiro Hiraki |
Agent-based parallel recognition method of contour lines. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
agent-based parallel recognition method, contour line recognition, supervisor agent, vector trace agent, cooperative negotiable environment, man-machine oriented digitizing system, contour drawings, parallel processing, human factors, edge detection, software agents, document image processing, document image processing, cost, cooperative systems |
16 | David M. Koppelman |
Reducing PE/Memory Traffic in Multiprocessors by the Difference Coding of Memory Addresses. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
memory traffic, difference coding, memory addresses, shared memory parallel computer, trace-drivensimulation, traffic volume, lower cost, lower latency network, networklatency, virtual machines, multiprocessors, message passing, multiprocessor interconnection networks, memories, shared memory systems, storage management, buffer storage, processing elements, coherent cache |
16 | David J. Lilja |
The Impact of Parallel Loop Scheduling Strategies on Prefetching in a Shared Memory Multiprocessor. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
parallel loop scheduling, numerical Fortran programs, single-word cache blocks, guidedself-scheduling, scheduling, parallel programming, prefetching, shared memory multiprocessor, shared memory systems, cache coherence, trace-driven simulations, buffer storage, data caches, memory performance, false sharing, performanceevaluation, cache pollution |
16 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
16 | Robert Watkins, Mark Neal |
Why and How of Requirements Tracing. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
R&D project, real-time in vitro diagnostic instrument, human body fluids, hepatitis, traceability analysis, documentation rules, formal inspections, trace matrices, software engineering, real-time systems, software quality, software quality, embedded, systems analysis, costs, software productivity, requirements traceability, cancer, project success, medical diagnostic computing, documentation formats, computerised instrumentation |
16 | Larry M. Zanger, Lorijean G. Oei |
Electronic-Record Storage Checklist. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
R&D project, real-time in vitro diagnostic instrument, human body fluids, hepatitis, traceability analysis, documentation rules, formal inspections, trace matrices, software engineering, real-time systems, software quality, software quality, embedded, systems analysis, costs, software productivity, requirements traceability, cancer, project success, medical diagnostic computing, documentation formats, computerised instrumentation |
16 | Benjamin G. Zorn, Dirk Grunwald |
Evaluating Models of Memory Allocation. |
ACM Trans. Model. Comput. Simul. |
1994 |
DBLP DOI BibTeX RDF |
program behavior modeling, program measurement, trace-driven simulation, dynamic storage allocation, model evaluation |
16 | Siegfried Grabner, Dieter Kranzlmüller |
Monitoring for Detecing Bugs and Blocking Communication. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
Distributed Memory Debugging, Communication Events, Monitoring, Trace Driven Simulation, Event Graph |
16 | Yves Métivier, Gwénaël Richomme |
On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). |
STACS |
1994 |
DBLP DOI BibTeX RDF |
trace monoids, finite power property, recognizability |
16 | Richard Uhlig, David Nagle, Trevor N. Mudge, Stuart Sechrest |
Trap-driven Simulation with Tapeworm II. |
ASPLOS |
1994 |
DBLP DOI BibTeX RDF |
trap-driven simulation, cache, trace-driven simulation, memory system, TLB |
16 | Kumar K. Goswami, Murthy V. Devarakonda, Ravishankar K. Iyer |
Prediction-Based Dynamic Load-Sharing Heuristics. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
predicted resource requirements, distributed system, pattern recognition, distributed processing, trace driven simulations, load-sharing, resource prediction |
16 | David J. Lilja, Pen-Chung Yew |
Improving Memory Utilization in Cache Coherence Directories. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
memory utilization, cache coherence directories, large-scale shared memorymultiprocessors, software-directed schemes, compile-time memory disambiguation, dynamically tagged directory, high-level sharing information, configurationmanagement, discrete event simulation, compiler optimizations, program compilers, shared memory systems, trace-driven simulations, buffer storage, storage allocation, interprocedural analysis |
16 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen |
From CSP Models to Markov Models. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton |
16 | Erhard Rahm |
Empirical Performance Evaluation of Concurrency and Coherency Control Protocols for Database Sharing Systems. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
coherency control, database partitioning, database sharing, performance analysis, concurrency control, trace-driven simulation, shared nothing, shared disk |
16 | Sang Lyul Min, Jean-Loup Baer |
Design and Analysis of a Scalable Cache Coherence Scheme Based on Clocks and Timestamps. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
cache contents reuse, scalable cache coherence, multiple privatecaches, compile-time marking, hardware-based local incoherence detection, program flow, parallel programming, shared memory multiprocessors, storage management, clocks, trace-driven simulation, buffer storage, timestamps, references |
16 | Frits W. Vaandrager |
Expressive Results for Process Algebras. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence |
16 | Daniel Hoffman, Paul A. Strooper |
Automated Module Testing in Prolog. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs |
16 | Harrison H. Barrett, T. A. Gooley, K. Girodias, Jannick P. Rolland, T. White, J. Yao |
Linear Discriminants and Image Quality. |
IPMI |
1991 |
DBLP DOI BibTeX RDF |
linear discriminant functions, ideal observer, Hotelling trace, medical imaging, Image quality |
16 | Andrew P. Moore |
The Specification and Verified Decomposition of System Requirements Using CSP. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements |
16 | Rajiv Gupta 0001, Mary Lou Soffa |
Region Scheduling: An Approach for Detecting and Redistributing Parallelism. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
region scheduling, redistributing parallelism, reconfigurable long instruction word architecture, scheduling, parallel programming, code generation, program compilers, program representation, fine-grain, coarse-grain parallelism, trace scheduling |
15 | |
Event Trace Analysis. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jian-Guang Luo, Qian Zhang 0001, Yun Tang, Shi-Qiang Yang |
A Trace-Driven Approach to Evaluate the Scalability of P2P-Based Video-on-Demand Service. |
IEEE Trans. Parallel Distributed Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ho Fai Ko, Nicola Nicolici |
Algorithms for State Restoration and Trace-Signal Selection for Data Acquisition in Silicon Debug. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gretchen L. Matthews |
On Weierstrass Semigroups of Some Triples on Norm-Trace Curves. |
IWCC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hayato Mano, Katsunori Miyazawa, Ranajit Chatterjee, Fumitoshi Matsuno |
Autonomous generation of behavioral trace maps using rescue robots. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Shusuke Kawai, Takayuki Ikari, Yutaka Takikawa, Hiroki Ishikuro, Tadahiro Kuroda |
A wireless real-time on-chip bus trace system. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Voigt, Johannes Bohnet, Jürgen Döllner |
Object aware execution trace exploration. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Arne Lie, Jirka Klaue |
Evalvid-RA: trace driven simulation of rate adaptive MPEG-4 VBR video. |
Multim. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Congestion control, Network simulation, Rate control, Streaming media, VBR video |
15 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
A Trace-Based Framework for Verifiable GALS Composition of IPs. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Peter Rounce, Alberto Ferreira de Souza |
Dynamic Instruction Scheduling in a Trace-based Multi-threaded Architecture. |
Int. J. Parallel Program. |
2008 |
DBLP DOI BibTeX RDF |
Simultaneous multi-threading, Wide issue architectures, VLIW, Dynamic instruction scheduling |
15 | Maria Christopoulou, Theodoulos Garefalakis, Daniel Panario, David Thomson |
The trace of an optimal normal element and low complexity normal bases. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classifications 12E20, 12E30, 11T99 |
15 | Nobuyoshi Sato, Shouichi Odashima, Jun Suzuki, Taiji Ishikawa, Yoshitoshi Murata |
Prototype of a Workers' Motion Trace System Using Terrestrial Magnetism and Acceleration Sensors. |
NBiS |
2008 |
DBLP DOI BibTeX RDF |
Quality control on industrial products assembly, Terrestrial magnetism sensor, Motion capture |
15 | Jun Yan 0001, Ning Liu 0001, Qiang Yang 0001, Weiguo Fan, Zheng Chen 0001 |
TOFA: Trace Oriented Feature Analysis in Text Categorization. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sabrina Gaito, Giuliano Grossi, Federico Pedersini |
A two-level social mobility model for trace generation. |
MobiHoc |
2008 |
DBLP DOI BibTeX RDF |
mobility models, manet |
15 | Lerong Cheng, Yan Lin 0001, Lei He 0001 |
Trace-based framework for concurrent development of process and FPGA architecture considering process variation and reliability. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
FPGA power model, FPGA architecture |
15 | Ruth Lamprecht, Peter Kemper |
Möbius Trace Analysis with Traviando. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sergey Bratus, Axel Hansen, Fabio Pellacini, Anna Shubina |
Backhoe, a Packet Trace and Log Browser. |
VizSEC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Victor Sobreira, Marcelo de Almeida Maia |
A Visual Trace Analysis Tool for Understanding Feature Scattering. |
WCRE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Solé, Dmitrii Zinoviev |
The Peak to Sidelobe Level of the Most Significant Bit of Trace Codes over Galois Rings. |
SETA |
2008 |
DBLP DOI BibTeX RDF |
aperiodic autocorrelation, partial period distribution, MSB, PSL, Galois rings |
15 | Robbie Lamb, Rafal A. Angryk, Piet Martiens |
An example based image retrieval system for the TRACE repository. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Rohr, André van Hoorn, Simon Giesecke, Jasminka Matevska, Wilhelm Hasselbring, Sergej Alekseev |
Trace-Context Sensitive Performance Profiling for Enterprise Software Applications. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marina Biberstein, Uzi Shvadron, Javier Turek, Bilha Mendelson, Moon S. Chang |
Trace-based Performance Analysis on Cell BE. |
ISPASS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Holger Mickler, Andreas Knüpfer, Michael Kluge, Matthias S. Müller, Wolfgang E. Nagel |
Trace-Based Analysis and Optimization for the Semtex CFD Application - Hidden Remote Memory Accesses and I/O Performance. |
Euro-Par Workshops |
2008 |
DBLP DOI BibTeX RDF |
Performance Analysis, Tracing, I/O, Remote Memory Access |
15 | Eun-Tack Oh, Kwang-Sung Jung, Sung-Min Lee, Cheol-Hong Moon |
An Embedded SoC System IP to Trace Object and Distance. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
Embedded SoC, IP Develop, Image Process, CCD Cameras |
15 | Gijs van den Broek, Jürgen Schönwälder, Aiko Pras, Matús Harvan |
SNMP Trace Analysis Definitions. (PDF / PS) |
AIMS |
2008 |
DBLP DOI BibTeX RDF |
simple network management protocol, traffic modeling |
15 | Christian Hochberger, Alexander Weiss |
Acquiring an exhaustive, continuous and real-time trace from SoCs. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han |
Detecting Java Theft Based on Static API Trace Birthmark. |
IWSEC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Eloy Romero, José E. Román |
A Parallel Implementation of the Trace Minimization Eigensolver. |
VECPAR |
2008 |
DBLP DOI BibTeX RDF |
Topics Numerical algorithms for CS? parallel and distributed computing |
15 | Carlos Munuera, Guilherme C. Tizziotti, Fernando Torres 0002 |
Two-Point Codes on Norm-Trace Curves. |
ICMCTA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dominique Faudot, Dominique Michelucci |
A New Robust Algorithm to Trace Curves. |
Reliab. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Youngmin Yi, Dohyung Kim 0007, Soonhoi Ha |
Fast and Accurate Cosimulation of MPSoC Using Trace-Driven Virtual Synchronization. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Xavier Rival, Laurent Mauborgne |
The trace partitioning abstract domain. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
A comparison of compilation techniques for trace monitors with free variables. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, runtime verification, program monitoring |
15 | Pietro Babighian, Gila Kamhi, Moshe Y. Vardi |
Interactive presentation: PowerQuest: trace driven data mining for power optimization. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Thornley, Stavros Petridis |
Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sayan Mitra, Nancy A. Lynch |
Trace-Based Semantics for Probabilistic Timed I/O Automata. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Bin Cai, Changsheng Xie, Guangxi Zhu |
Performance Evaluation of A Load Self-Balancing Method for Heterogeneous Metadata Server Cluster Using Trace-Driven and Synthetic Workload Simulation. |
IEEE NAS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | V. Vetri Selvi, Shakir Sharfraz, Ranjani Parthasarathi |
Mobile Ad Hoc Grid Using Trace Based Mobility Model. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bertoni, Roberto Radicioni |
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz 0001 |
Stack Trace Analysis for Large Scale Debugging. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Bin Cai, Changsheng Xie, Guangxi Zhu |
Performance Evaluation of A Load Self-Balancing Method for Heterogeneous Metadata Server Cluster Using Trace-Driven and Synthetic Workload Simulation. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo |
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
connectivity model, opportunistic systems, delay tolerant networking, protocol testing |
15 | Andrew B. T. Hopkins, Klaus D. McDonald-Maier |
Trace algorithms for deeply integrated complex and hybrid SoCs. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Borys J. Bradel, Tarek S. Abdelrahman |
Automatic Trace-Based Parallelization of Java Programs. |
ICPP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Pin Lu, Kai Shen |
Multi-Layer Event Trace Analysis for Parallel I/O Performance Tuning. |
ICPP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Matthew Roughan |
Public review for the devil and packet trace anonymization. |
Comput. Commun. Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Cem Güneri, Ferruh Özbudak |
Improvements on Generalized Hamming Weights of Some Trace Codes. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
11R58, 11T71, AMS Classification 94B27 |
15 | Li Gao, Zhu Li 0001, Aggelos K. Katsaggelos |
Fast Video Shot Retrieval with Luminance Field Trace Indexing and Geometry Matching. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sachin Gangaputra, Donald Geman |
The Trace Model for Object Detection and Tracking. |
Toward Category-Level Object Recognition |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Patrício Domingues, Paulo Marques, Luís Moura Silva |
DGSchedSim: A Trace-Driven Simulator to Evaluate Scheduling Algorithms for Desktop Grid Environments. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic |
Specification of Software Component Requirements Using the Trace Function Method. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Wild, Andreas Herkersdorf, Rainer Ohlendorf |
Performance evaluation for system-on-chip architectures using trace-based transaction level simulation. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Ducasse, Tudor Gîrba, Roel Wuyts |
Object-Oriented Legacy System Trace-based Logic Testing. |
CSMR |
2006 |
DBLP DOI BibTeX RDF |
testing, logic programming, legacy systems, dynamic information |
|
|