|
James B. Saxe
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 Systems Research Center and the Systems Research Center of HP Labs. Saxe is known for his highly-cited publications on automated theorem proving, circuit complexity, retiming in synchronous circuit design, computer networks, and static program analysis. His work on program analysis from PLDI 2002 won the Most Influential PLDI Paper Award for 2012. In addition, he is one of the authors of the master theorem for divide-and-conquer recurrences. While a high school student, Saxe won the United States of America Mathematical Olympiad. In 1974, as a student at Union College, Saxe took part in the William Lowell Putnam Mathematical Competition The William Lowell Putnam Mathematical Competition, often abbreviated to Putnam Competition, is an annual mathematics competition for undergraduate college students enrolled at institutions of hig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DEC Systems Research Center
The Systems Research Center (SRC) was a research laboratory created by Digital Equipment Corporation (DEC) in 1984, in Palo Alto, California. DEC SRC was founded by a group of computer scientists, led by Robert Taylor, who left the Computer Science Laboratory (CSL) of Xerox PARC after an internal power struggle. SRC survived the takeover of DEC by Compaq in 1998. It was renamed to "Compaq Systems Research Center". When Compaq was acquired by Hewlett-Packard in 2002, SRC was merged with other HP corporate research labs and relocated there. After Taylor's retirement, the lab was directed by Roy Levin and then by Lyle Ramshaw. Some of the important developments made at SRC include the Modula-3 programming language; the snoopy cache, used in the first multiprocessor workstation, the Firefly, built from MicroVAX 78032 microprocessors; the first multi-threaded Unix system, Taos; the first user interface editor; early networked window systems, Trestle. AltaVista was jointly develo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jon Bentley (computer Scientist)
Jon Louis Bentley (born February 20, 1953) is an American computer scientist who is credited with the heuristic-based partitioning algorithm ''k''-d tree. Education and career Bentley received a B.S. in mathematical sciences from Stanford University in 1974, and M.S. and PhD in 1976 from the University of North Carolina at Chapel Hill; while a student, he also held internships at the Xerox Palo Alto Research Center and Stanford Linear Accelerator Center. After receiving his Ph.D., he joined the faculty at Carnegie Mellon University as an assistant professor of computer science and mathematics. At CMU, his students included Brian Reid, John Ousterhout, Jeff Eppinger, Joshua Bloch, and James Gosling, and he was one of Charles Leiserson's advisors. Later, Bentley moved to Bell Laboratories, where he co-authored an optimized Quicksort algorithm with Doug McIlroy. He found an optimal solution for the two dimensional case of Klee's measure problem: given a set of ''n'' rectangles, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carnegie Mellon University Alumni
Carnegie may refer to: People * Carnegie (surname), including a list of people with the name * Clan Carnegie, a lowland Scottish clan Institutions Named for Andrew Carnegie *Carnegie Building (Troy, New York), on the campus of Rensselaer Polytechnic Institute * Carnegie College, in Dunfermline, Scotland, a former further education college *Carnegie Community Centre, in downtown Vancouver, British Columbia *Carnegie Council for Ethics in International Affairs *Carnegie Endowment for International Peace, a global think tank with headquarters in Washington, DC, and four other centers, including: **Carnegie Middle East Center, in Beirut **Carnegie Europe, in Brussels **Carnegie Moscow Center * Carnegie Foundation (other), any of several foundations *Carnegie Hall, a concert hall in New York City * Carnegie Hall, Inc., a regional cultural center in Lewisburg, West Virginia *Carnegie Hero Fund *Carnegie Institution for Science, also called Carnegie Institution of Washington ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Union College (New York) Alumni
Union College is a private liberal arts college in Schenectady, New York. Founded in 1795, it was the first institution of higher learning chartered by the New York State Board of Regents, and second in the state of New York, after Columbia College (formerly King's College). In the 19th century, it became known as the "Mother of Fraternities",Somers (2003), p. 304 as three of the earliest Greek letter societies were established there. The school was once referred to as one of the " Big Four" alongside Harvard University, Yale University and Princeton University, before the Civil War and a financial scandal led to its fall from grace and the top national rankings. Union began enrolling women in 1970, after 175 years as an all-male institution. The college offers a liberal arts curriculum across 21 academic departments, as well as opportunities for interdepartmental majors and self-designed organizing theme majors. It offers a wide array of courses in the humanities, social s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Computer Scientists
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Birth Missing (living People)
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Association Of America
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure and applied mathematicians; computer scientists; statisticians; and many others in academia, government, business, and industry. The MAA was founded in 1915 and is headquartered at 1529 18th Street, Northwest in the Dupont Circle neighborhood of Washington, D.C. The organization publishes mathematics journals and books, including the '' American Mathematical Monthly'' (established in 1894 by Benjamin Finkel), the most widely read mathematics journal in the world according to records on JSTOR. Mission and Vision The mission of the MAA is to advance the understanding of mathematics and its impact on our world. We envision a society that values the power and beauty of mathematics and fully realizes its potential to promote human flourishing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * ''Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with ...'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM Transactions On Computer Systems
''ACM Transactions on Computer Systems'' is a quarterly peer-reviewed scientific journal published by the Association for Computing Machinery. According to SCImago Journal Rank (SJR), the journal h-index The ''h''-index is an author-level metric that measures both the productivity and citation impact of the publications, initially used for an individual scientist or scholar. The ''h''-index correlates with obvious success indicators such as winn ... is ranked 70, ranking it to Q1 in Computer Science (miscellaneous). References External links *{{Official website, http://tocs.acm.org/ Systems journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algorithmica
''Algorithmica'' received the highest possible ranking “A*”. External links Springer information Computer science journals Springer Science+Business Media academic journals Monthly journals Publications established in 1986 English-language journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM SIGACT News
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer. Publications SIGACT publishes a quarterly print newsletter, ''SIGACT News''. Its online version, ''SIGACT News Online'', is available since 1996 for SIGACT members, with unrestricted access to some features. Conferences SIGACT sponsors or has sponsored several annual conferences. *COLT: Conference on Learning Theory, until 1999 *PODC: ACM Symposium on Principles of Distributed Computing (jointly sponsored by SIGOPS) *PODS: ACM Symposium on Principles of Database Systems *POPL: ACM Symposium on Principles of Programming Languages *SOCG: ACM Symposium on Computational Geometry (jointly sponsored by SIGGRAPH), until 2014 *SODA: ACM/SIAM Symposium on Discrete Algorithms (jointly sponsored by the Society for Industrial and Applied Mathematics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
