Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 12-Jun-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781468468960)
This book is on dependence concepts and general methods for dependence testing. Here, dependence means data dependence and the tests are compile-time tests. We felt the time was ripe to create a solid theory of the subject, to provide the research co...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 17-May-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475783117)
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Mo...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 06-May-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475782752)
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together c...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 06-May-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475770667)
Load Balancing in Parallel Computers: Theory and Practice is about the essential software technique of load balancing in distributed memory message-passing parallel computers, also called multicomputers. Each processor has its ow...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 18-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461288206)
Artificial Intelligence is entering the mainstream of com puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro cessing power of conventional architectures. To meet this dem...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 17-Apr-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475783575)
Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 28-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475779158)
The last decade has seen a tremendous growth in the usage of the World Wide Web. The Web has grown so fast that it seems to be becoming an unusable and slow behemoth. Web caching is one way to tame and make this behemoth a friendly and useful giant....Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 24-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475788822)
JR is an extension of the Java programming language with additional concurrency mechanisms based on those in the SR (Synchronizing Resources) programming language. The JR implementation executes on UNIX-based systems (Linux, Mac OS X, and Solaris)...Loe edasi...
John A. Stankovic, Marco Spuri, Krithi Ramamritham, Giorgio C Buttazzo
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 22-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461375302)
Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated anne...Loe edasi...
Andrew Pollard, Douglas J.K. Mewhort, Donald F. Weaver
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 21-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475783414)
High Performance Computing Systems and Applications contains the fully refereed papers from the 13th Annual Symposium on High Performance Computing, held in Kingston, Canada, in June 1999. This book presents the latest research in HPC arc...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 21-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475783155)
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played b...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 08-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475771176)
Advances in optical technologies have made it possible to implement optical interconnections in future massively parallel processing systems. Photons are non-charged particles, and do not naturally interact. Consequently, there are many desirable...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 07-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475770285)
Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 06-Mar-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781475723601)
Image and Video Compression Standards: Algorithms and Architectures presents an introduction to the algorithms and architectures that underpin the image and video compression standards, including JPEG (compression of still images), H.261...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 13-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461368106)
Following an exchange of correspondence, I met Ross in Adelaide in June 1988. I was approached by the University of Adelaide about being an external examiner for this dissertation and willingly agreed. Upon receiving a copy of this work, what struck...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 22-Dec-2012, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461367888)
Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated manufacturing facilities, in controlling and tracking air traffic, and in communication systems. In rec...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 22-Dec-2012, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461367666)
This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by t...Loe edasi...
Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 15-Dec-2012, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461373292)
Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, ca...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 21-Nov-2012, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461364368)
The rapid development of optical fiber transmission technology has created the possibility for constructing digital networks that are as ubiquitous as the current voice network but which can carry video, voice, and data in massive qlJantities. How an...Loe edasi...
Sari: The Springer International Series in Engineering and Computer Science
(Ilmumisaeg: 21-Nov-2012, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461367826)
This monograph evolved from my Ph. D dissertation completed at the Laboratory of Computer Science, MIT, during the Summer of 1986. In my dissertation I proposed a pipelined code mapping scheme for array operations on static dataflow architectures. Th...Loe edasi...
