Open AccessBook
Specification and Design of Embedded Systems
Reads0
Chats0
TLDR
1. System-Design Methodology and Environment, Models and Architectures, and Specification Languages: Answering Machine in SpecCharts.Abstract:
1 Introduction 2 Models and Architectures 3 Specification Languages 4 A Specification Example 5 Translation to VHDL 6 System Partitioning 7 Design Quality Estimation 8 Specification Refinement into Synthesizable Models 9 System-Design Methodology and Environment Appendix: Answering Machine in SpecCharts Bibliography Indexread more
Citations
More filters
Journal ArticleDOI
COWLS: hardware-software cosynthesis of wireless low-power distributed embedded client-server systems
Robert P. Dick,N.K. Jha +1 more
TL;DR: COWLS is a hardware-software cosynthesis algorithm that targets embedded systems composed of servers and low-power clients that communicate with each other through a channel of limited bandwidth, e.g., a wireless link, and is the first synthesis algorithm of its kind.
Journal ArticleDOI
Automatic generation of spatial and temporal memory architectures for embedded video processing systems
TL;DR: The results in this paper show that the tool is able to efficiently and automatically generate all required memory management modules for both spatial and temporal real-time video processing systems.
Journal ArticleDOI
Performance analysis and optimization of mixed asynchronous synchronous systems
TL;DR: This paper deals with the system-level performance analysis and optimization of a class of digital systems the authors call mixed asynchronous-synchronous systems, and introduces a graph model called MASS, which is based on several extensions of timed marked graphs, in particular, period, periodicity, and maximal throughput rate.
Proceedings ArticleDOI
Hybrid Algorithm for Mapping Static Task Graphs on Multiprocessor SoCs
TL;DR: A new hybrid algorithm that distributes the computational tasks modeled as static acyclic task graphs and combines a non-greedy global and greedy local optimization techniques to have good properties of both ways.
Journal ArticleDOI
Quantitative study of the impact of design and synthesis options on processor core performance
Tomás Bautista,Antonio Nunez +1 more
TL;DR: Experimental results obtained during the modeling, design, and implementation of a full set of versions of SPARC v.8 Integer Unit cores aimed at embedded applications show the extent to which microarchitecture,Design, datapath granularity, and megacell decisions affect performance and cost functions.
References
More filters
Journal ArticleDOI
Optimization by Simulated Annealing
TL;DR: There is a deep and useful connection between statistical mechanics and multivariate or combinatorial optimization (finding the minimum of a given function depending on many parameters), and a detailed analogy with annealing in solids provides a framework for optimization of very large and complex systems.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
An efficient heuristic procedure for partitioning graphs
Brian W. Kernighan,Shou-De Lin +1 more
TL;DR: A heuristic method for partitioning arbitrary graphs which is both effective in finding optimal partitions, and fast enough to be practical in solving large problems is presented.
Journal ArticleDOI
Hierarchical clustering schemes
TL;DR: A useful correspondence is developed between any hierarchical system of such clusters, and a particular type of distance measure, that gives rise to two methods of clustering that are computationally rapid and invariant under monotonic transformations of the data.
Proceedings ArticleDOI
A Linear-Time Heuristic for Improving Network Partitions
TL;DR: An iterative mincut heuristic for partitioning networks is presented whose worst case computation time, per pass, grows linearly with the size of the network.