researchr - search publication history

researchr

You are not signed in
Sign in
Sign up

7182 publication results matching 'history'

Prototyping a tool environment for run-time assertion checking in JML with Communication Histories
… checking of the Java Modeling Language (JML) extended with communication histories … a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions. …
Stijn de Gouw, Frank S. de Boer, Jurgen J. Vinju. FTfJP 2010: [doi]
History of programming languages---IIBergin,Jr., Thomas J., Gibson,Jr., Richard G., editors, ACM, New York, NY, USA, 1996.
The History of the History of SoftwareMartin Campbell-Kelly. annals, 29(4):40-51, 2007. [doi]
A history of the history of programming languagesThomas J. Bergin. CACM, 50(5):69-74, 2007. [doi]
How Program History Can Improve Code Completion
… name. We present an approach to improve code completion with program history. We … engine. Further, we use the change history data to also improve the results offered …
Romain Robbes, Michele Lanza. ASE 2008: 317-326 [doi]
The History of Computing in the History of TechnologyMichael S. Mahoney. annals, 10(2):113-125, 1988. [doi]
History and DevelopmentsJaap van Oosten. ENTCS, 23(1):101-110, 1999. [doi]
The History of SteganographyDavid Kahn. ih 1996: 1-5
History of CircumscriptionJohn McCarthy. ai, 59(1-2):23-26, 1993.
Translucent historyAndreas Genau, Axel Kramer. chi 1995: 250-251 [doi]
A history of ErlangJoe Armstrong. HOPL 2007: 1-26 [doi]
The History of ComplexityLance Fortnow. cocoon 2002: 61 [doi]
Creating historiesPaul Brown, Phil Husbands, Margaret A. Boden, Catherine Mason, Alan Sutcliffe. candc 2005: 322-323 [doi]
A History of CLUBarbara Liskov. HOPL 1993: 133-147
JSTOR: A HistoryStephen Ferguson. jasis, 55(11):1026-1027, 2004. [doi]
The Center of HistoryDavid Alan Grier. annals, 29(4):2-5, 2007. [doi]
A History of SatisfiabilityJohn Franco, John Martin. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 3-74, IOS Press, 2009. [doi]
A History of UntilAndrea Masini, Luca Viganò, Marco Volpe. ENTCS, 262:189-204, 2010. [doi]
Reflections on a historyRobert D. Campbell. SIGCSE, 39(2):15, 2007. [doi]
"Design of X-band High Power Cascade Amplifier"
… This article is the design case history of a 10-watt X-band power amplifier module for either satellite or terrestrial microwave communications. …
Yeap Yean Wei, Tan Soon Hie, Goh Cher Hiang. High Frequency Electronics Journal, , Jan 2007. [doi]

Sign in or sign up to see more results.

runs on WebDSL