This book stems from my experience over the last few years in designing high-speed digital logic using ASIC design flows. I discovered that while it is possible to significantly improve performance in ASIC implementations with deep pipelining and careful physical design, a speed penalty still had to be paid due to their exclusive use of...
With the fall of France in 1940, Germany suddenly had the opportunity to strike at poorly guarded Allied convoys. The Luftwaffe pressed into service the Fw-200 Condor, a plane that had originally been designed as a civilian airliner and the first plane to fly non-stop from Berlin to New York in 1938. After various modifications, the Fw-200...
Discovering the City of Light and making it your own has always been the most compelling reason to visit Paris. If you’re a fi rst-timer, everything, of course, will be new to you. If you’ve been away for awhile, expect changes: Taxi drivers may no longer correct your fractured French, but address you in English—tantamount...
For many Americans, capitalism is a dynamic engine of prosperity that rewards the bold, the daring, and the hardworking. But to many outside the United States, capitalism seems like an initiative that serves only to concentrate power and wealth in the hands of a few hereditary oligarchies. In A History of Corporate Governance...
This book contains a selection of the revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2009). The workshop was organized by the Universidad Nacional de Educaci ´on a Distancia (UNED) in Madrid, Spain, during September 24–25, 2009.
This volume of Lecture Notes in Computer Science contains revised versions of papers presented at the 15th International Conference on Implementation and Application of Automata, CIAA 2010. The conference was held at the University of Manitoba in Winnipeg, Canada, on August 12–15, 2010. The previous CIAA conferences were held in London,...
Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...
The 16th LPAR event was held in Africa for the very first time, signalling a bright future for a conference with a glowing history. For many years it was a goal of the steering committee to hold LPAR in Africa and the enthusiasm for our presence far exceeded our expectations. With the help of local organiser Waly Faye, LPAR integrated itself...
When in 1986 Yves Kodratoff started the European Working Session on Learning at Orsay, France, it could not be foreseen that the conference would grow year by year and become the premier European conference of the field, attracting submissions from all over the world. The first European Conference on Principles of Data Mining and Knowledge...
This book is a selection of the revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2007). The workshop was organized at the University Pierre and Marie Curie in Paris, France, during July 5–6, 2007.
The goal of the AMR workshops is to intensify the exchange...
The 12th International Conference on the Principles and Practice of Constraint
Programming (CP 2006) was held in Nantes, France, September 24–29, 2006. Information
about the conference can be found on theWeb at http://www.sciences.
univ-nantes.fr/cp06/. Information about past conferences in the series can be
found at...
There are two kinds of cryptography in this world: cryptography that will stop your kid sister from
reading your files, and cryptography that will stop major governments from reading your files. This
book is about the latter.
If I take a letter, lock it in a safe, hide the safe somewhere in New York, then tell you to read the...
