Fourth International Workshop on Software Specification and Design
Author:
Publisher:
Published: 1987
Total Pages: 296
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author:
Publisher:
Published: 1987
Total Pages: 296
ISBN-13:
DOWNLOAD EBOOKAuthor: Donald E. Thomas
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Published: 1996
Total Pages: 156
ISBN-13:
DOWNLOAD EBOOKEmbedded architecture co-synthesis and system integration / B. Lin, S. Vercauteren, and H. De Man -- A multi-level transformation approach to HW/SW codesign : a case study / T.K.-Y. Cheung, G. Hellestrand, and P. Kanthamanon -- Fully parallel hardware/software codesign for multi-dimensional DSP applications / M. Sheliga, N.L. Passos, and E.H.-M. Sha -- A co-design methodology based on formal specification and high-level estimation / C. Carreras [and others] -- Speed-up estimation for HW/SW-systems / W. Hardt and W. Rosenstiel -- A framework for interactive analysis of timing constraints in embedded systems / R.K. Gupta -- The interplay of run-time estimation and granularity in HW/SW partitioning / J. Henkel and R. Ernst -- Partitioning and exploration strategies in the TOSCA co-design flow / A. Balboni, W. Fornaciari, and D. Sciuto -- Process partitining for distributed embedded systems / J. Hou and W. Wolf -- Two-level partitioning of image processing algorithms for the parallel map-oriented machine / R.W. Hartenstein, J. Becker, and R. Kress -- PACE : a dynamic programming algorithm for hardware/software partitioning / P.V. Knudsen and J. Madsen -- A model for the coanalysis of hardware and software architectures / F. Rose [and others] -- A case study in co-design of communication controllers / R. Gerndt -- Formal verification of embedded systems based on CFSM networks / F. Balarin [and others] -- Towards a model for hardware and software functional partitioning / F. Vahid and T. dm Le -- Implications of codesign as a natural constituent of a systems engineering discipline for computer-based systems / M. Voss and O. Hammerschmidt -- Uninterpreted co-simulation for performance evaluation of HW/SW systems / J.P. Calvez, D. Heller, and O. Pasquier -- Fast and accurate hardware-software co-simulation using software timing estimates / C. Passerone [and others].
Author:
Publisher:
Published: 1993
Total Pages: 252
ISBN-13:
DOWNLOAD EBOOKAuthor: Jonathan P. Bowen
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 698
ISBN-13: 1447134311
DOWNLOAD EBOOKErrata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often inaccurate, copied carelessly, and had been instrumental in causing a number of maritime disasters. Babbage's machine, called a 'Difference Engine' because it performed its cal culations using the principle of partial differences, was intended to substantially reduce the number of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage's engine would be classed as safety-critical. That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.
Author: International Software Process Association
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Published: 1996
Total Pages: 176
ISBN-13:
DOWNLOAD EBOOKAuthor: V.S. Alagar
Publisher: Springer Science & Business Media
Published: 2013-03-14
Total Pages: 436
ISBN-13: 1475729200
DOWNLOAD EBOOKThis book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
Author: IEEE Computer Society
Publisher:
Published: 1997
Total Pages: 302
ISBN-13:
DOWNLOAD EBOOKThis text on distributed computing and real-time systems includes the topics: multimedia; communications database; fault tolerance; timing analysis; operating systems; software systems and programming environments; and scheduling.
Author:
Publisher:
Published: 1992
Total Pages: 664
ISBN-13:
DOWNLOAD EBOOKAuthor: W. D. Hurley
Publisher: World Scientific
Published: 1995
Total Pages: 327
ISBN-13: 9810219113
DOWNLOAD EBOOKThis volume focuses on current and future trends in the interplay between software engineering and artificial intelligence.This interplay is now critical to the success of both disciplines, and it also affects a wide range of subject areas. The articles in this volume survey the significant work that has been accomplished, describe the state of the art, analyze the current trends, and predict which future directions have the most potential for success. Areas covered include requirements engineering, real-time systems, reuse technology, development environments and meta-environments, process representations, safety-critical systems, and metrics and measures for processes and products.
Author: Raghvinder Sangwan
Publisher: CRC Press
Published: 2006-09-29
Total Pages: 251
ISBN-13: 1040167284
DOWNLOAD EBOOKEconomics and technology have dramatically re-shaped the landscape of software development. It is no longer uncommon to find a software development team dispersed across countries or continents. Geographically distributed development challenges the ability to clearly communicate, enforce standards, ensure quality levels, and coordinate tasks. Globa