James Benjamin Saxe is an American computer scientist who has worked for many years at the DEC Systems Research Center and its successors, the Compaq...

first presented by Jon Bentley, Dorothea Blostein (née Haken), and James B. Saxe in 1980, where it was described as a "unifying method" for solving such...

Geoffrey B. Saxe (born June 12, 1948) is an American developmental psychologist. He is a Distinguished Professor of the Graduate School in the School...

The House of Saxe-Coburg and Gotha (/ˌsæks ˈkoʊbərɡ ... ˈɡɒθə, - ˈɡɒtə/ SAKS KOH-bərg ... GOT(H)-ə; German: Haus Sachsen-Coburg und Gotha) is a European...

its outputs. Retiming was first described by Charles E. Leiserson and James B. Saxe in 1983. The technique uses a directed graph where the vertices represent...

1973 David J. Anick (MIT) 1973, 1975 Grant M. Roberts (Waterloo) 1974 James B. Saxe (Union) 1974 Karl C. Rubin (Princeton) 1974 Philip N. Strenski (Armstrong...

bounds on circuit complexity in a paper joint with Merrick Furst and James B. Saxe. Their result was later improved to be an exponential lower bound by...

Prince Albert of Saxe-Coburg and Gotha (Franz August Karl Albert Emanuel; 26 August 1819 – 14 December 1861) was the husband of Queen Victoria. As such...

(Alfred Ernest Albert; 6 August 1844 – 30 July 1900) was sovereign Duke of Saxe-Coburg and Gotha from 1893 to 1900. He was the second son and fourth child...

Wayback Machine David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe. Compaq SRC Research Report 159 (December 1998) SRC Modula-3 3.3[permanent...

theory, including the retiming method of digital optimization with James B. Saxe and systolic arrays with H. T. Kung. He conceived of the notion of cache-oblivious...

computer programming, algorithms and data structure research. Bentley received a B.S. in mathematical sciences from Stanford University in 1974. At this time...

Adelaide of Saxe-Meiningen (Adelaide Amelia Louise Theresa Caroline; 13 August 1792 – 2 December 1849) was Queen of the United Kingdom of Great Britain...

(PDF). The official website of the British Monarchy. Retrieved 2010-07-30. "Saxe-Coburg & Gotha (1837–1917) and the Windsors (1917 – Present Day)" (PDF)....

primary designer and implementer of the C++ Standard Template Library. James B. Saxe: known for automated theorem proving and other computer science topics...

1893) was Duke of Saxe-Coburg and Gotha from 29 January 1844 to his death in 1893. He was born in Coburg to Ernest III, Duke of Saxe-Coburg-Saalfeld, and...

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata 2011 (for 2001): Automatic predicate abstraction of...

Simeon Borisov Saxe-Coburg-Gotha (Bulgarian: Симеон Борисов Сакскобургготски, romanized: Simeon Borisov Sakskoburggotski, [simeˈɔn boˈrisof sakskoburˈɡɔtski];...

Princess Victoria of Saxe-Coburg-Saalfeld (Marie Louise Victoire; 17 August 1786 – 16 March 1861), later Princess of Leiningen and subsequently Duchess...

the MIT Laboratory for Computer Science with assistance from James Horning and James Saxe at the DEC Systems Research Center, as part of the Larch project...

Count of Saxony (German: Hermann Moritz von Sachsen, French: Maurice de Saxe; 28 October 1696 – 20 November 1750) was a notable soldier, officer and a...

Static Checking. - David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe Extended Static Checking Modula-3 at the Wayback Machine (archived February...

Victoria and Prince Albert of Saxe-Coburg and Gotha. In 1917, the name of the British royal house was changed from the German Saxe-Coburg and Gotha to the English...

youngest son of Queen Victoria of the United Kingdom and Prince Albert of Saxe-Coburg and Gotha. During labour, Queen Victoria chose to use chloroform and...

of Saxe-Zeitz from 1681 until his death. He was born at Moritzburg Castle in the Wettin residence of Zeitz, the eldest son of Duke Maurice of Saxe-Zeitz...

of Ontario (GPO) from 2020 to 2022. Saxe studied law at Osgoode Hall Law School, earning an Bachelor of Laws (L.L.B.) in 1974. She was called to the bar...

Montreal, Quebec, Canada, 1983. Thomas E. Anderson; Susan S. Owicki; James B. Saxe; Charles P. Thacker (1993). "High-speed Switch Scheduling for Local-Area...

Kelly Jeanne Prinzessin von Saxe-Coburg und Gotha (born January 10, 1975), born Kelly Jeanne Rondestvedt, is an American investment banker. She is married...

George V) is through Charles Edward, Duke of Saxe-Coburg and Gotha, whose descendants use the surname Saxe-Coburg and Gotha (English) or von Sachsen-Coburg...

The second child and eldest son of Queen Victoria and Prince Albert of Saxe-Coburg and Gotha, Edward, nicknamed "Bertie", was related to royalty throughout...