|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 932 occurrences of 703 keywords
|
|
|
Results
Found 876 publication records. Showing 876 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aziz Can Yuceturk, Bernd Klauer, Stefan Zickenheiner, Ronald Charles Moore, Klaus Waldschmidt |
Mapping of Neural Networks onto Data Flow Graphs. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
mapping neural networks, neural networks, neural nets, data flow graphs, data flow computers |
1 | Ernst W. Biersack, Frédéric Thiesse |
Statistical Admission Control in Video Servers with Variable Bit-Rate Streams and Constant Time Length Retrieva. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
statistical admission control, constant time length retrieval, server disk, statistical service guarantee, deterministic service guarantee, quality of service, performance evaluation, video servers, network servers, disk storage, variable bit rate streams, I/O bandwidth |
1 | Miroslav Svéda |
A Prototyping Technique with an Asychronous Specification Language. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Ibáñez, Víctor Viñals |
Performance Assessment of Contents Management in Multilevel On-Chip Caches. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
multilevel on-chip caches, Inclusion contents management, Exclusion, second-level cache miss ratio, system CPI, floating point SPEC'92 benchmarks, performance metrics, contents management, cache storage, design space, performance assessment, Demand |
1 | Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui |
Formal Specification of Communication Protocols with Object-Based ECATNets. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system |
1 | Roberto Baldoni, Michel Raynal, Ravi Prakash 0001, Mukesh Singhal |
Broadcast with Time and Causality Constraints for Multimedia Applications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
causality constraints, /spl Delta/-causal ordering, multimedia real-time collaborative applications, groupware real-time applications, /spl Delta/-causal ordering protocol, transitive dependencies, application messages, groupware, multimedia applications, time constraints, communication abstraction |
1 | Casiano Rodríguez, José L. Roda, F. García, Francisco Almeida, Daniel González |
Paradigms for Parallel Dynamic Programming. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
multistage automatons, nondecreasing automatons, strongly increasing automatons, optimality, dynamic programming, local area networks, PVM, ring networks, transputer networks, parallel dynamic programming |
1 | Hoyoung Hwang, Hyoungjun Kim, Yanghee Choi, Chongsang Kim |
Multicast Routing Algorithms for Manhattan Street Network. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
dynamic multicast tree, network routing, multicast routing, MSN, Manhattan Street Network, multicast services |
1 | Minho Song, Yanghee Choi, Chongsang Kim |
Connection Rerouting Method for General Application to Connection-Oriented Mobile Communication Net works. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Yiannis Cotronis |
Efficient Program Composition on Parix by the Ensemble Methodology. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
program composition, Parix, Ensemble methodology, message passing program composition methodology, Process Communication Graphs, application scripts, universal Parix program loader, communication dependencies, complexities, message passing, parallel virtual machine |
1 | Jan Hlavicka, Stanislav Racek, Pavel Smrha |
Functional Validation of Fault-Tolerant Asynchronous Algorithms. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
fault-tolerant asynchronous algorithms, distributed asynchronous algorithms, algorithm correctness, process-oriented discrete simulation, fault injector, C-based validation tool, C-Sim, C-coded implementation, distributed election algorithm, formal specification, communication channels, time behavior, functional validation, state observer, failure semantics |
1 | Joshua Etkin, José Fridman |
An Algorithm for Scheduling Prioritized Tasks in a Hard Real-Time Environment. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
prioritized tasks, hard real-time environment, processor scheduling, dynamically scheduling, search tree, event-driven simulation, priority ordering |
1 | Morten Kjelsø, Mark Gooch, Simon Jones 0001 |
Design and Performance of a Main Memory Hardware Data Compressor. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
main memory hardware data compressor, X-Match algorithm, Unix applications, performance, file organisation |
1 | Giacomo Cabri, Antonio Corradi, Franco Zambonelli |
Experience of Adaptive Replication in Distributed File Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
adaptive replication, adaptive file replication policy, distributed databases, network of workstations, distributed file systems, file replication |
1 | Kanad Ghose, Kiran Raghavendra Desai, Peter M. Kogge |
Using Method Lookup Caches and Register Windowing to Speed Up Dynamically-Bound Object-Oriented Applications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
method lookup caches, dynamically-bound object-oriented applications, logical reference, method binding, context allocation, contemporary pipelined datapath, detailed register level simulation, object-oriented programming, object oriented programming languages, register windowing |
1 | B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini |
Reachability and Timing Analysis in Data Flow Networks: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
data flow networks, computer control systems, performance, safety, timing analysis, reachability analysis, reachability analysis |
1 | Roberto Bevacqua, Luca Guerrazzi, Franco Fummi |
SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
test storage, scan-path techniques, Built-In Self Test, design for testability, Design for Testability, BIST, test pattern generation, SCAN, test sequences |
1 | Charles Changli Chin, Shang-Rong Tsai |
Transparency in a Replicated Network File System. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
replicated network file system, centralized data sharing, storage stations, modern network environments, high-performance services, Sun NFS protocol, replication transparency, failure transparency, fault-tolerant service, simple primary-backup model, mostly-read environment, high-performance file service, data integrity, transparency, data replication, data consistency, file server |
1 | Eero Lassila |
A Macro Expansion Approach to Embedded Processor Code Generation. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
macro expansion approach, embedded processor code generation, embedded special-purpose processors, retargetable assembly-code-level macro expander, program flow analysis, hierarchical macro libraries, compiler writer, assembly language programmer, computer architecture |
1 | Oliver Hammerschmidt, Thomas Doersam |
Software Engineering in Control Using Objects and Services. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
procedural-oriented methods, service-based concept, three-fingered robot gripper, software engineering, software engineering, services, software design, objects, object-oriented methods, distributed real-time systems, software complexity |
1 | Han-Suk Choi, Jae Soo Yoo, Ok-Bae Chang |
A New Control Service Model Based on CORBA for Distributed Multimedia Objects. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
control service model, distributed multimedia objects, DIMCA/ORB, real-time bindings, heterogeneous components, Quality of Service, CORBA, multimedia systems, open distributed systems |
1 | Tamás Bartha |
Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
system-level fault diagnosis, Parsytec GCel, local information diagnosis, diagnostic algorithm, generalized test invalidation, computational complexity, fault diagnosis, multiprocessor system, multiprocessor architectures, massively parallel computers |
1 | Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens |
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach |
1 | Lech Józwiak, Sien-An Ong |
Quality-Driven Decision Making Methodology for System-Level Design. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
decision making methodology, application oriented embedded systems, quality-driven decision making, real-time systems, design space exploration, system-level design, decision models |
1 | István Vassányi, István Erényi |
Implementation of Processor Cells for Array Algorithms on FPGAs. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
array algorithms, processor cells, fine-grain array architectures, cellular image processing algorithms, placement-routing tool, field programmable gate arrays, FPGA, processor arrays |
1 | Reinhard Rauscher |
A Design Assistant for Scheduling of Design Decisions. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
scheduling, scheduling, VLSI designs, design decisions, design assistant |
1 | Souâd Taouil-Traverson, Sylvie Vignes |
Preliminary Analysis Cycle for B-Method Software Development. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle |
1 | Reinhard Rauscher, Andreas Krause 0007 |
A System for Heuristic Modifications on PLA - Specifications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding |
1 | Karlheinz Agsteiner, Dieter Monjau, Sören Schulze |
Automating System-Level Design: From Specification to Architecture. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
system-level design automation, digital systems specification, system components, knowledge-based configuration system, object-oriented domain model, reduced instruction set computing, RISC processors, system functions |
1 | João Carlos Cunha, João Gabriel Silva |
DELFIM: Error Detection by Thin Memory Protection. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
thin memory protection, VME standard board, detection capability, DELFIM, error detection, error detection, concurrent error detection, error recovery, fault tolerant system |
1 | Andrew M. Tyrrell |
Recovery Blocks and Algorithm-Based Fault Tolerance. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead |
1 | Nomusa Dlodlo, Carl Bamford |
Separating Application Functionality from the User Interface in a Distributed Environment. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Object Bequest Broker, user interface manager, user interface, Middleware, abstract data types, abstract data types, user interface management system, distributed environment, application functionality |
1 | Alexander S. Antonov, Vladimir V. Voevodin |
Application of the V-Ray Technology for Optimization of the TRFD and FL052 Perfect Club Benchmarks to CRAY Y-MP and CRAY T3D Supercomputers. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
V-Ray technology, TRFD, FL052 Perfect Club Benchmarks, CRAY T3D supercomputers, parallel processing, CRAY Y-MP |
1 | Pertti Raatikainen, Teleste Oy, Juha Zidbeck |
Performance Comparison of Experimented Switching Architectures for ATM. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
broadband switching, transfer delay performance, Frame Synchronized Ring, switch structures, multidrop bus, multistage banyan network, interconnection networks, ATM, multiprocessor interconnection networks, ATM-switch, crossbar |
1 | Elena Pagani, Gian Paolo Rossi 0001 |
Comparing Performances and Quality of Service of Group Communication Protocols. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
failure conditions, simulations, quality of service, protocols, performance comparison, design issues, application requirements, group communication protocols, fault tolerant distributed applications |
1 | Dominique De Vito, Olivier Michel |
Effective SIMD Code Generation for the High-Level Declarative Data-Parallel Language 8 1/2. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
SIMD code generation, high-level declarative data-parallel language 8 1/2, common control expressions, delay copies, execution scheme, parallel architectures, data-parallelism, SIMD architectures |
1 | João M. S. Alcântara, Carlo E. T. de Oliveira, Manuel L. Anido |
A Novel Circuit Extraction Tool Based on X-Spans and Y-Spans. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
circuit extraction tool, X-Spans, Y-Spans, maximally-horizontal layout regions, contiguous vertical regions, VLSI, data structure |
1 | Corrie Huijs |
A Graph Rewriting Approach for Transformational Design of Digital Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design |
1 | Johan Stärner, Joakim Adomat, John Furunäs, Lennart Lindh |
Real-Time Scheduling Co-Processor in Hardware for Single and Multiprocessor Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
real-time scheduling co-processor, predictable time behaviour, digital chip, Real-Time Unit, global resources, task synchronisation, multiprocessor systems, timing analysis, processor scheduling |
1 | Alexandre R. S. Romariz, P. U. A. Ferreira, J. V. Campêlo Jr., Marcio L. Graciano Jr., José C. da Costa |
Design of a Hybrid Digital-Analog Neural Co-Processor for Signal Processing. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
hybrid digital-analog neural co-processor, digitally-controlled multiplexing, CMOS analog circuits, VLSI, signal processing, VLSI design, multilayer perceptrons, VLSI implementation, hybrid architecture, capacitors, analog multipliers |
1 | Winfried Grünewald, Theo Ungerer |
Towards Extremely Fast Context Switching in a Block-Multithreaded Processor. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
extremely fast context switching, block-multithreaded processor, fast context switch, Rhamma, off-chip cache, workstation environment, memory cycle time, latencies, synchronisation, memory accesses, functional unit, synchronization operations |
1 | Chie Dou |
Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation |
1 | Anna M. del Corral, José M. Llabería |
Increasing the Effective Memory Bandwidth in Multivector Processors. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
multivector processors, concurrent vector streams, access sequence, peak throughput, performance, memory bandwidth, vector processor systems |
1 | Petr Zemánek |
Parallel Set Operations with Visual Data. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
parallel set operations, pixel form, spatial database queries, MasPar SIMD parallel computer, parallel algorithms, databases, data structures, image representation, spatial data structures, data retrieval, visual data, linear quadtrees |
1 | |
22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic |
EUROMICRO |
1996 |
DBLP BibTeX RDF |
|
1 | Anastasio Molano, Alberto García-Martínez, Ángel Viña |
The Design and Implementation of a Multimedia Storage Server to Support Video-on-Demand Applications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
video-on-demand applications, client/server based multimedia architecture, buffering mechanism, disk controller, network card controller, synchronized playback, software engineering, software architecture, real-time operating system, multithreaded architecture, multimedia storage server |
1 | István Majzik |
Software Monitoring and Debugging Using Compressed Signature Sequences. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
run-time sequence, compressed signature sequences, signature based error detection techniques, signature buffer, real-time compression methods, predefined dictionaries, program debugging, structural information, software monitoring, software debugging, watchdog processors |
1 | Jocelyne Farhat-Gissler, Isabelle M. Demeure |
Automatic Scheduling of Applications with Temporal QoS Constraints: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
automatic scheduling, temporal QoS constraints, scheduling framework, geostationary satellite application, cooperative scheduling system, scheduling scenarios, software quality, dependency graphs |
1 | Kanad Ghose, Pavel Vasek |
A Fast Capability Extension to a RISC Architecture. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
fast capability extension, RISC architecture, capability-based addressing, capability-based machines, simulated executions, security, information sharing, reduced instruction set computing, performance penalty |
1 | Oum-El-Kheir Benkahla, F. Chevassu, B. Remy, Chantal Robach |
Performance Evaluation of Testing Strategies in Parallel Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
SimDiag, process-based model, performance evaluation, parallel systems, testing strategies, quantitative analysis, evaluation tool, distributed diagnosis |
1 | Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng |
Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness |
1 | Vassilliy Tchoumatchenko, Tania Vassileva, P. Gurov |
An FPGA-Based Square-Root Co-Processor. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Borzemski, Arkadiusz Kieda |
A Load Balancing System for Windows NT Networks. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
load balancing system, Windows NT networks, Windows NT computers, resource allocation |
1 | Ghassan Al Hayek, Yves Le Traon, Chantal Robach |
Considering Test Economics in the Process of Hardware/Software Partitioning. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
hardware/software testing, specifications, logic testing, estimate, testability, co-design, mutation-test, hardware/software partitioning, test economics |
1 | José M. García 0001, A. Flores |
A Novel Approach to Improve the Performance of Interconnection Networks with Hot - Spots. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
physically distributed memory, single shared memory address space, two-dimensional k-ary n-cube networks, deterministic routing algorithm, interconnection networks, congestion control, message passing, multiprocessor interconnection networks, parallel machines, shared memory multiprocessors, wormhole routing, virtual channels, adaptive algorithms, performance improvement, hot-spots, reconfigurable networks, reconfigurable network |
1 | Alberto García-Martínez, Jesús Fernández-Conde, Ángel Viña |
A Comprehensive Approach in Performance Evaluation for Modern Real-Time Operating Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
performance evaluation, software performance evaluation, performance metrics, real-time operating systems |
1 | Hans-Georg Martin |
Retiming for Circuits with Enable Registers. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
enable registers, circuit retiming, combinational paths, D-Flipflops, retiming algorithm, sequential elements, high level synthesis, high level synthesis, digital circuits |
1 | Tino Pyssysalo, Leo Ojala |
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system |
1 | Adam Postula, David Abramson 0001, Paul Logothetis |
The Design of a Specialised Processor for the Simulation of Sintering A. Postula. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
specialised processor, sintering simulation, metallurgical sintering, commercially available gate array technology, Xilinx FPGA, Aptix FPIC switch technology, FPGAs, Monte-Carlo simulation, special purpose computers |
1 | Robert Hess, Tino Hutschenreuther, Ralf Lehmann, Alexander Schill |
Architecture and Implementation for Scalable Transfer of Live Videos in Multimedia Applications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
scalable transfer, video communication system, XNetvideo, signal to noise ratio scaling, ATM, multimedia systems, multimedia applications, heterogeneous environments, IP-networks, video transmission, videoconferences, frame rate, live videos, image size |
1 | Aristotel Tentov, Aksenti L. Grnarov |
Performance Analysis of Packet Switching Interconnection Networks with Finite Buffers. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
buffered interconnection networksop of Form Bottom of Form, performance analysis, interconnection networks, packet switching, packet switching, finite buffers |
1 | Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes |
A Formal Design and Implementation Method for Real-Time Embedded Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
real-time system development, AORTA, development life cycle, real-time systems, real-time systems, verification, real-time embedded systems, formal designs |
1 | Richard Canham, Stephen L. Smith 0002, Andrew M. Tyrrell |
Parallel Approaches to the Segmentation of Free-Hand Drawings. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
parallel approaches, free-hand drawings segmentation, neuropsychological assessment, Rey-Osterrieth Complex Figure Test, geometric shapes, hierarchical solution, template matching algorithm, computational complexity, complexity, processing time |
1 | Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey |
A Semantic Model of VHDL for Validating Rewriting Algebras. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics |
1 | Roger Collins, Gordon B. Steven |
Instruction Scheduling for a Superscalar Architecture. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
compile-time instruction scheduling, conditional group scheduler, HSA processor model, guarded instruction execution, instruction squashing, instruction buffer, performance evaluation, superscalar processors, superscalar architecture, functional units, branch instructions |
1 | Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos |
Optimising Pseudoknotin FCMC. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Goseva-Popstojanova, Aksenti Grnarov |
N-Version Programming: A Unified Modeling Approach. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
N version system, versions failures, Markov model, software fault tolerance, software fault tolerance, execution times, N-version programming |
1 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
1 | Ghassan Al Hayek, Chantal Robach |
On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
hardware test data, behavioral fault modeling, gate-level strategies, high-level fault detection, gate-level fault detection, design automation tools, generated test set, gate-level fault coverage, hardware description languages, hardware description languages, behavioral specification |
1 | Christian Piguet, Thierry Schneider, Jean-Marc Masgonty, Claude Arm, Serge Durand, M. Stegers |
Low-Power Embedded Microprocessor Design. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
low-power embedded microprocessor design, low-power RISC-like architectures, gated clock techniques, power savings, microprocessor chips, CMOS technology, hierarchical memories, clock cycles |
1 | Jan Vanthienen, Stephan Poelmans |
A General Framework for Positioning, Evaluating and Selecting the New Generation of Development Tools. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
object-oriented tools, client/server tools, 4GL environments, software tools, programming languages, browsers, CASE-tools, development tools, debuggers, GUI-builders |
1 | Janusz Sosnowski, A. Kusmierczyk |
Pseudorandom versus Deterministic Testing of Intel 80x86 Processors. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Intel 80/spl times/86 processors, computer testing, pseudorandom testing, microprocessor testing, deterministic testing |
1 | Reinhard Rauscher, Dieter Klawan, Hans-Jürgen Bandelt |
Results Given by a New Evaluation System for Placement and Routing Heuristics. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
routing heuristics, placement heuristics, minimal hardware requirements, fabrication processes, algorithm development, VLSI, programming languages, VLSI layouts, evaluation system, hardware platforms |
1 | Stefan Fischer 0001, Jacek Wytrebowicz, Stanislaw Budkowski |
Hardware/Software Co-Design of Communication Protocols. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code |
1 | Eliseu M. Chaves Filho, Edil S. T. Fernandes, Andrew Wolfe |
Load Balancing in Superscalar Architectures. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
multiple functional units, parallel instruction execution, processor throughput, dynamic instruction-issuing algorithm, performance, load balancing, parallel architectures, instruction-level parallelism, superscalar processors, application program, computational load, superscalar architectures, hardware resources |
1 | Roberto Giorgi, Cosimo Antonio Prete, Luigi M. Ricciardi, Gianpaolo Prina |
A Hybrid Approach to Trace Generation for Performance Evaluation of Shared-Bus Multiprocessors. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
software approach, user references, virtual-to-physical address translation, kernel reference stream, general-purpose machine, multitasking operating system, performance evaluation, performance evaluation, shared-memory multiprocessor, process scheduling, hybrid approach, trace generation, shared-bus multiprocessors |
Displaying result #801 - #876 of 876 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|