New Books @ EnggLib2 as of October 31, 2014


RESERVE BOOK


Low power design essentials

Recommending faculty: Prof. Michael Bayona

Author Jan Rabaey
Place of Publication New York
Date of Publication 2009
Publisher Springer

This book contains all the topics of importance to the low power designer. It first lays the foundation and then goes on to detail the design process. The book also discusses such special topics as power management and modal design, ultra low power, and low power design methodology and flows. In addition, coverage includes projections of the future and case studies.


CIRCULATION BOOKS


HILT ’13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA / sponsored by ACM SIGAda in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT

Place of Publication New York
Date of Publication 2013
Publisher ACM

HILT 2013 features a top-quality technical program focused on the issues associated with high integrity software- where a failure could cause loss of human life or have other unacceptable consi=equences- and on the solutions provided by language technology. ” Language technology” here encompases not only programming languages but also languages for expressing specifications, program properties, domain models, and other attributes of the software or the overall system.

HILT 2013 consists of two days of tutorials, and three days of conference sessions. The tutorials cover a wide range of topics: Ada 2012, proving safety of parallel and multi-threaded programs, Formula 2.0: a language for formal specification and a tool for automated analysis, satisfiability modulo theories for high integrity development, practical specification and verification with code contracts, bounded model checking for high-integrity software, and service oriented architecture concepts and impplementatiob.


HILT ’12 : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts / sponsored by ACM SIGAda in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, and Ada-Europe

Place of Publication New York
Date of Publication 2012
Publisher ACM

HILT 2013 features a top-quality technical program focused on the issues associated with high integrity software- where a failure could cause loss of human life or have other unacceptable consi=equences- and on the solutions provided by language technology. ” Language technology” here encompases not only programming languages but also languages for expressing specifications, program properties, domain models, and other attributes of the software or the overall system.

HILT 2012 consists of two days of tutorials, and three days of conference sessions. The tutorials cover a wide range of topis: designing for multitasking and multicore environments; leading-edge Ada verification technologies; contract-based programming and object-oriented programming in Ada 2012; safety of embedded software; Microsoft Research’s Dafny automatic program verifier; Service-oriented Architecture; and safety-critical Java.


IPSN ’13 : proceedings of the 12th International Conference on Information Processing in Sensor Networks : April 8-11, 2013, Philadelphia, PA, USA / sponsored by ACM SIGBED & IEEE

Place of Publication New York
Date of Publication 2013
Publisher ACM

IPSN is considered to be one of the flagship research conferences of the sensor networks community, and continues to showcase cutting-edge research in to the information processing aspects of sensor networks. The conference program consists of two complementary and inter-woven tracks, one on Information Processing (the IP track) and another on Sensor Platforms, Tools and Design Methods (the SPOTS track).


HiCoNS ’13 : proceedings of the 2nd ACM International Conference on High Confidence Networked Systems : April 9-11, 2013, Philadelphia, PA, USA / sponsored by ACM SIGBED

Place of Publication New York
Date of Publication 2013
Publisher ACM

This year’s conference aimed to present novel research, development, and experimentation addressing the security, robustness, and reliability of cyber-physical systems that govern the operation of critical infrastractures such as power transmission, water distribution, transportation, healthcare, building automation, and many more.


DBA’s guide to NoSQL : Apache Cassandra

Author The Enlightened DBA
Place of Publication [Santa Clara, Calif.]
Date of Publication [2014?]
Publisher Datastax

For the new or verteran DBA: Whether you’re skeptical or enthusiastic about new types of datasbases this book contains all you need to understand about when and how to implement NoSQL technology in your Internet Enterprise Applications. In this guide, you’ll get answers to these questions and more; you’ll learn exactly what NoSQL is, why it’s needed, how it works, and when it should (and shouldn’t) be used.

Comments are closed.