|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 731 occurrences of 307 keywords
|
|
|
Results
Found 282 publication records. Showing 282 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
2 | Ádám Balogh, Zoltán Csrnyei |
SysObjC: C extension for development of object-oriented operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 5, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
low-level programming, predicate classes, C, C, system programming, predicate dispatching |
2 | Fergus Henderson |
Accurate garbage collection in an uncooperative environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 256-263, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
programming language implementation, C, C, garbage collection, multithreading |
2 | Robert O'Callahan, Daniel Jackson 0001 |
Lackwit: A Program Understanding Tool Based on Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 338-348, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C, C, abstraction, representation, restructuring |
1 | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
CETS: compiler enforced temporal safety for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 31-40, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
temporal errors, c, memory safety, dangling pointers |
1 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 131-144, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
1 | John D. Carter, William B. Gardner, Gary Gréwal |
The pilot library for novice MPI programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 351-352, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cluster programming, c, high-performance computing, deadlock detection, mpi, collective operations |
1 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini |
SystemC/C-based model-driven design for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(4), pp. 30:1-30:37, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, SoC, C, SystemC, MDE, ES |
1 | Harvey Tuch |
Formal Verification of C Systems Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(2-4), pp. 125-187, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C, Separation logic, Interactive theorem proving |
1 | Indranil Saha, Kuntal Chakraborty, Suman Roy 0001, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma |
An approach to reverse engineering of C programs to simulink models with conformance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 137-138, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reverse engineering, c, conformance testing, simulink |
1 | Leonid Batyuk, Aubrey-Derrick Schmidt, Hans-Gunther Schmidt, Seyit Ahmet Çamtepe, Sahin Albayrak |
Developing and Benchmarking Native Linux Applications on Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE ![In: Mobile Wireless Middleware, Operating Systems, and Applications, Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009, Proceedings, pp. 381-392, 2009, Springer, 978-3-642-01801-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, performance, C, software, smartphones, android |
1 | Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska |
C preprocessor use in numerical tools: an empirical analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp |
1 | Gary Kacmarcik, Sylvie Giral Kacmarcik |
Introducing computer programming via gameboy advance homebrew. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 281-285, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
homebrew, nintendo gameboy, c, k-12 education, nintendo ds |
1 | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
SoftBound: highly compatible and complete spatial memory safety for c. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 245-258, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spatial memory safety, c, buffer overflows |
1 | Géraud Canet, Pascal Cuoq, Benjamin Monate |
A Value Analysis for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009, pp. 123-124, 2009, IEEE Computer Society, 978-0-7695-3793-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tool demo, static analysis, C, abstract interpretation, software verification |
1 | Xavier Leroy, Sandrine Blazy |
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(1), pp. 1-31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness |
1 | Andrew W. Keep, Arun Chauhan 0001 |
Concrete Partial Evaluation in Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, pp. 346-347, 2008, IEEE Computer Society, 978-1-4244-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C, partial evaluation, Ruby |
1 | John W. McCormick |
Ada and software engineering education: one professor's experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 91-96, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model railroads, model trains, real-time, education, ada, c, embedded, laboratory |
1 | Andries Stam, Alfons H. Salden |
Towards composition of distributed evolving services: the Credo approach (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomics ![In: Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, Autonomics 2008, September 23-25, 2008, Turin, Italy, pp. 21, 2008, ICST, 978-963-9799-34-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Credo, Creol, exogenous coordination, composition, C, evolution, services, automata, Reo |
1 | Achuth Sankar S. Nair, Vinod S. S. Chandra |
A MetaL for C and Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 39(4), pp. 87-91, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data structure, C, Pascal, lex, yacc |
1 | Jeffrey S. Foster, Michael W. Hicks, William W. Pugh |
Improving software quality with static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 83-84, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
1 | Steven Fraser 0001, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer 0001, Guy L. Steele Jr. |
Celebrating 40 years of language evolution: simula 67 to the present and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 1021-1023, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simula67, Java, C, Schema, C#, Eiffel, BETA |
1 | Martin Hirzel, Robert Grimm 0001 |
Jeannie: granting java native interface developers their wishes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 19-38, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
modular syntax, programming language composition, rats!, xtc, java, C, JNI, foreign function interface |
1 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007, pp. 2-14, 2007, ACM, 978-1-59593-893-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
1 | Harvey Tuch, Gerwin Klein, Michael Norrish |
Types, bytes, and separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 97-108, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, separation logic, interactive theorem proving |
1 | Ping Hang Cheung, Alessandro Forin |
A C-Language Binding for PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 584-591, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, Assertion Based Verification, Property Specification Language |
1 | Martin C. Carlisle, Leemon C. Baird III |
Timing neural networks in C and ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 71-74, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neural networks, ada, benchmarking, C |
1 | Robert B. K. Dewar |
The compiler as a static analysis tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 83-88, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ada, compilers, C++, static analysis, C, safety, certification |
1 | Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa |
Compiling C Programs into a Strongly Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings, pp. 17-32, 2007, Springer, 978-3-540-76927-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, memory safety, typed assembly language |
1 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster |
Modular information hiding and type-safe linking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 3-14, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, information hiding, type-safety, module systems |
1 | Robert C. Seacord |
Secure Coding in C and C++: Of Strings and Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(1), pp. 74-76, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming language security, secure development, C++, C |
1 | Børge Svingen |
When lisp is faster than C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 957-958, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
enetic programming, performance, C, implementation, lisp |
1 | Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
The case for analysis preserving language transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 191-202, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
language transformation, security, Java, verification, static analysis, C, language translation |
1 | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
Dynamic inference of abstract types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 255-265, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units |
1 | Romain Lenglet, Shigeru Chiba |
Dryverl: a flexible Erlang/C binding compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 21-31, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stub, compiler, C, erlang, binding, port, driver, ODP |
1 | George V. Neville-Neil |
Understanding the problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 4(9), pp. 10-12, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, C |
1 | John W. McCormick |
We've been working on the railroad: a laboratory for real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 530-534, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time, ada, C, embedded, curriculum, project, laboratory |
1 | Bill McCloskey, Eric A. Brewer |
ASTEC: a new approach to refactoring C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 21-30, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ASTEC, C, refactoring, translation, macro, preprocessor |
1 | Christian Lindig |
Random testing of C calling conventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 3-12, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
calling convention, compiler, composition, C, consistency, random testing |
1 | Ken Frazer |
Review of "Memory as a Programming Concept in C and C++ by Frantisek Franek". Cambridge University Press, 2004, (paperback), 0-521-52043-6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(1), pp. 36-37, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
C++, C |
1 | Yan Tang, Tao Wang 0004, Xiaoming Li 0001 |
The design and implementation of LilyTask in shared memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 39(3), pp. 52-63, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
C |
1 | Jonathan Yavner |
Back-propagation of knowledge from syntax tree to C source code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(3), pp. 31-37, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
legacy systems analysis, source-code annotation, C, source-code analysis, preprocessor |
1 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 86-103, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
1 | Andrew T. Phillips |
Highlighting programming language issues using mixed language programming nn Maple and C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 85-89, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mixed language programming, C, Maple |
1 | C. Wayne Brown |
Teaching graphics using Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 47-50, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Ada, computer graphics, C, VRML, cross compiling, code conversion |
1 | Wei Xu, Daniel C. DuVarney, R. Sekar 0001 |
An efficient and backwards-compatible transformation to ensure memory safety of C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 117-126, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program transformation, C, memory safety |
1 | Rudolf Ferenc, István Siket, Tibor Gyimóthy |
Extracting Facts from Open Source Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 60-69, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault-proneness detection, compiler wrapping, CANPP, reverse engineering, C++, metrics, C, open source, schema, CAN, Mozilla, Fact extraction, Columbus |
1 | Diomidis Spinellis |
Global Analysis and Transformations in Preprocessed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(11), pp. 1019-1030, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
reverse engineering, C++, C, Refactoring, renaming, preprocessor, program families |
1 | Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers |
European air traffic flow management: porting a large application to GNU/linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003, pp. 29-37, 2003, ACM, 1-58113-476-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management |
1 | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
The nesC language: A holistic approach to networked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 1-11, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC |
1 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 232-244, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
1 | Sasikanth Avancha, Peter D'Souza, Filip Perich, Anupam Joshi, Yelena Yesha |
P2P M-commerce in pervasive environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 3(4), pp. 1-9, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
P2P, C, ubiquitous, M-commerce, pervasive |
1 | Alexander Wolfe |
Toolkit: GNU Tools: Relevant? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 1(9), pp. 14-17, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
C, Linux |
1 | Michael D. Ernst, Greg J. Badros, David Notkin |
An Empirical Analysis of C Preprocessor Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(12), pp. 1146-1170, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp |
1 | Nevin Heintze |
Aliasing analysis for a million lines of C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 47-49, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis |
1 | Johannes Martin, Hausi A. Müller |
C to Java Migration Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 11-13 March 2002, Budapest, Hungary, Proceedings, pp. 143-153, 2002, IEEE Computer Society, 0-7695-1438-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
source conversion, Java, C++, C, migration, transliteration |
1 | Fergus Henderson, Zoltan Somogyi |
Compiling Mercury to High-Level C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 197-212, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury |
1 | Feng-Shi Su, Pao-Ann Hsiung |
Extended quasi-static scheduling for formal synthesis and code generation of embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 211-216, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
C |
1 | Greg Stitt, Frank Vahid |
Hardware/software partitioning of software binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 164-170, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
FPGA, low power, C++, C, synthesis, codesign, hardware/software partitioning, binary translation, decompilation, assembly language |
1 | J. Mark Bull, Lorna A. Smith, Linday Pottage, Robin Freeman |
Benchmarking Java against C and Fortran for scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, June 2-4, 2001, pp. 97-105, 2001, ACM, 1-58113-359-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java, Java, performance, benchmarking, C, Fortran, scientific applications |
1 | George Economakos, Petros Oikonomakos, Ioannis Panagopoulos, Ioannis Poulakis, George K. Papakonstantinou |
Behavioral synthesis with systemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 21-25, 2001, IEEE Computer Society, 0-7695-0993-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Robert Siegmund, Dietmar Müller 0001 |
SystemCSV - an extension of SystemC for mixed multi-level communication modeling and interface-based system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 26-33, 2001, IEEE Computer Society, 0-7695-0993-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller 0003 |
The simulation semantics of systemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 64-70, 2001, IEEE Computer Society, 0-7695-0993-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, Jonas Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong |
C/C++: progress or deadlock in system-level specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 136-137, 2001, IEEE Computer Society, 0-7695-0993-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
C++, C |
1 | Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois |
A methodology for interfacing open source systemC with a third party software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 16, 2001, IEEE Computer Society, 0-7695-0993-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè |
Using symbolic execution for verifying safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 142-151, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
verification, formal methods, C, symbolic execution, safety-critical system |
1 | Rakesh Ghiya, Daniel M. Lavery, David C. Sehr |
On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 47-58, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | David Gay, Alexander Aiken |
Language Support for Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 70-80, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Nevin Heintze, Olivier Tardieu |
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 254-263, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C, ML |
1 | Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua |
SPL: A Language and Compiler for DSP Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 298-308, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C, FORTRAN |
1 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic Predicate Abstraction of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 203-213, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley |
Composing High-Performance Memory Allocators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 114-124, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C++, C |
1 | Nevin Heintze, Olivier Tardieu |
Demand-Driven Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 24-34, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
C |
1 | Tamara G. Kolda, Dianne P. O'Leary |
Algorithm 805: computation and uses of the semidiscrete matrix decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 26(3), pp. 415-435, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
semidiscrete decompositin, compression, C, singular value decomposition, latent semantic indexing, matrix decomposition |
1 | Mike Maxim |
Microsoft Windows Programming Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Crossroads ![In: ACM Crossroads 6(4), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
C, Visual Basic, Microsoft Windows (OS) |
1 | M. Taschwer, Dominik Rauner-Reithmayer, Roland T. Mittermeir |
Generating Objects from C Code - Features of the CORET Tool-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 3-5 March 1999, Amsterdam, The Netherlands, pp. 91-101, 1999, IEEE Computer Society, 0-7695-0090-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Re-engineering tool, C++, C, software evolution, software restructuring |
1 | Lutz Prechelt |
Comparing Java vs. C/C++ Efficiency Differences to Interpersonal Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 42(10), pp. 109-112, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, C++, C |
1 | Satish Chandra 0001, Thomas W. Reps |
Physical Type Checking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 66-75, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
C |
1 | Vijay Karamcheti, Chen Li 0003, Igor Pechtchanski, Chee-Keng Yap |
A Core Library for Robust Numeric and Geometric Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fifteenth Annual Symposium on Computational Geometry, Miami Beach, Florida, USA, June 13-16, 1999, pp. 351-359, 1999, ACM, 1-58113-068-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
C++, C |
1 | Francisco Corbera, Rafael Asenjo, Emilio L. Zapata |
New shape analysis techniques for automatic parallelization of C codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 13th international conference on Supercomputing, ICS 1999, Rhodes, Greece, June 20-25, 1999, pp. 220-227, 1999, ACM, 1-58113-164-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
C |
1 | Mireille Ducassé |
Coca: An automated Debugger for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., pp. 504-513, 1999, ACM, 1-58113-074-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool |
1 | Rex Jaeschke |
ISO Committee Document for C9X and Public Comment Period - The C Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(4), pp. 16, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Jörg Peters 0001 |
Algorithm 783: Pcp2Nurb - smooth free-form surfacing with linearly trimmed bicubic B-splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 24(3), pp. 261-267, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C1 surface, arbitrary patch layout, arbitrary surface topology, biquadratic tensor-product B-splines, planar-cut polyhedron, trimmed bicubic B-splines, C, Matlab, NURBS, free-form surface |
1 | Mark S. Johnstone, Paul R. Wilson 0001 |
The Memory Fragmentation Problem: Solved? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings, pp. 26-36, 1998, ACM, 1-58113-114-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C++, C |
1 | Srinadh Godavarthy |
Generating spline wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 36th Annual ACM Southeast Regional Conference, April 1-3, 1998, Marietta, GA, USA., pp. 8-14, 1998, ACM, 1-58113-030-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Simon Moore, Martyn Spink |
A multimedia C programming course that supports different learning situations (poster). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 1998, Dublin City University, Ireland, 18-21 August 1998, pp. 295, 1998, ACM, 1-58113-000-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
course deign method, flexible learning, multimedia, C |
1 | Bunny J. Tjaden |
Do lab modules in CS actually help students?: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 282-286, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Jörg Henkel, Yanbing Li |
Energy-conscious HW/SW-partitioning of embedded systems: a case study on an MPEG-2 encoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Sixth International Workshop on Hardware/Software Codesign, CODES 1998, Seattle, Washington, USA, March 15-18, 1998, pp. 23-27, 1998, IEEE Computer Society, 0-8186-8442-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Darren C. Atkinson, William G. Griswold |
Effective Whole-Program Analysis in the Presence of Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998, pp. 46-55, 1998, ACM, 978-1-58113-108-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
Automatically Closing Open Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 345-357, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Matteo Frigo, Charles E. Leiserson, Keith H. Randall |
The Implementation of the Cilk-5 Multithreaded Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 212-223, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parallel computing, C, programming language, multithreading, runtime system, critical path, work |
1 | David Gay, Alexander Aiken |
Memory Management with Explicit Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 313-323, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | George C. Necula, Peter Lee 0001 |
The Design and Implementation of a Certifying Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 333-344, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Luc Séméria, Giovanni De Micheli |
SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1998, San Jose, CA, USA, November 8-12, 1998, pp. 340-346, 1998, ACM / IEEE Computer Society, 1-58113-008-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
1 | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 21-31, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity |
1 | Bill Lin 0001 |
Software Synthesis of Process-Based Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 502-505, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
low power, C, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian |
1 | Mark MacBeth, Keith McGuigan, Philip J. Hatcher |
Executing Java threads in parallel in a distributed-memory environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30 - December 3, 1998, Toronto, Ontario, Canada, pp. 16, 1998, IBM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
Java, C |
1 | Frank Vahid, Linus Tauro |
An Object-Oriented Communication Library for Hardware-Software CoDesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany, pp. 81-86, 1997, IEEE Computer Society, 0-8186-7895-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Communication, Object-Oriented, C, VHDL, Libraries, Codesign |
1 | Frédéric Pétrot, Denis Hommais, Alain Greiner |
Cycle precise core based hardware/software system simulation with predictable event propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 182-187, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines |
1 | Luke Hornof, Jacques Noyé |
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 63-73, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
1 | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet |
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 116-126, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
Displaying result #1 - #100 of 282 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|