The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for code with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1959 (26) 1960-1962 (19) 1963-1965 (27) 1966-1967 (23) 1968 (16) 1969-1970 (29) 1971 (15) 1972-1973 (39) 1974 (26) 1975 (31) 1976 (34) 1977 (43) 1978 (52) 1979 (46) 1980 (52) 1981 (34) 1982 (116) 1983 (70) 1984 (90) 1985 (86) 1986 (109) 1987 (155) 1988 (228) 1989 (182) 1990 (306) 1991 (240) 1992 (292) 1993 (266) 1994 (432) 1995 (501) 1996 (575) 1997 (652) 1998 (728) 1999 (1050) 2000 (1154) 2001 (1292) 2002 (1695) 2003 (1972) 2004 (2615) 2005 (3101) 2006 (3524) 2007 (3557) 2008 (3605) 2009 (2696) 2010 (1386) 2011 (1190) 2012 (1228) 2013 (1423) 2014 (1515) 2015 (1492) 2016 (1622) 2017 (1637) 2018 (1936) 2019 (2085) 2020 (2149) 2021 (2392) 2022 (2537) 2023 (2994) 2024 (693)
Publication types (Num. hits)
article(19814) book(96) data(74) incollection(269) inproceedings(37156) mastersthesis(1) phdthesis(604) proceedings(66)
Venues (Conferences, Journals, ...)
CoRR(3705) ACM Trans. Archit. Code Optim.(927) IEEE Trans. Inf. Theory(839) IEEE Trans. Commun.(730) CGO(654) SCAM(594) IEEE Trans. Wirel. Commun.(466) ICSE(407) ICSM(390) IEEE Trans. Software Eng.(389) ASE(367) Comput. Phys. Commun.(343) PLDI(325) IEEE Access(313) IPDPS(310) ICC(297) More (+10 of total 5563)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33114 occurrences of 8244 keywords

Results
Found 58093 publication records. Showing 58080 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
17Fred Daneshgaran, Marina Mondin, Paolo Mulassano Linear subcodes of turbo codes with improved distance spectra. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Boris Kronrod, Craig Gotsman Optimized Compression of Triangle Mesh Geometry Using Prediction Trees. Search on Bibsonomy 3DPVT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Raimund Kirner, Peter P. Puschner Transformation of Path Information for WCET Analysis during Compilation. Search on Bibsonomy ECRTS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Michael W. Hicks, Jonathan T. Moore, Scott Nettles Dynamic Software Updating. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Yevgeniy Dodis, Shai Halevi Incremental Codes. Search on Bibsonomy RANDOM-APPROX The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17James M. Kroll, Nam C. Phamdo Source-channel optimized trellis codes for bitonal image transmission over AWGN channels. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Samuel N. Kamin, Miranda Callahan, Lars Clausen Lightweight and Generative Components I: Source-Level Components. Search on Bibsonomy GCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Steve McConnell Why You Should Use Routines...Routinely. Search on Bibsonomy IEEE Softw. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Knut Alfredsen, Bjørn Sæther An Object Oriented Framework for Creating Models in Hydrology. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Leonidas J. Guibas, Douglas K. Wyatt Compilation and Delayed Evaluation in APL. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
17Susan L. Graham Special Editor's Note. Search on Bibsonomy J. ACM The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
16Thomas Fritz 0001, Jingwen Ou, Gail C. Murphy, Emerson R. Murphy-Hill A degree-of-knowledge model to capture source code familiarity. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF degree-of-knowledge, onboarding, interaction, recommendation, expertise, authorship, degree-of-interest
16Mika Mäntylä, Casper Lassenius What Types of Defects Are Really Discovered in Code Reviews? Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Erik Stauffer, Djordje Tujkovic, Arogyaswami Paulraj Code Rate-Diversity-Multiplexing Tradeoff. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry Semantic Impact and Faults in Source Code Changes: An Empirical Study. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Edoardo Bontà, Marco Bernardo 0001 PADL2Java: A Java code generator for process algebraic architectural descriptions. Search on Bibsonomy WICSA/ECSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Youngchul Cho, Kiyoung Choi Code decomposition and recomposition for enhancing embedded software performance. Search on Bibsonomy ASP-DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Maen Hammad, Michael L. Collard, Jonathan I. Maletic Automatically identifying changes that impact code-to-design traceability. Search on Bibsonomy ICPC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Weijia Li, Youtao Zhang, Bruce R. Childers MCP: An Energy-Efficient Code Distribution Protocol for Multi-Application WSNs. Search on Bibsonomy DCOSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Piero Fraternali, Massimo Tisi A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application Testing. Search on Bibsonomy ICWE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Steffen M. Olbrich, Daniela S. Cruzes, Victor R. Basili, Nico Zazworka The evolution and impact of code smells: A case study of two open source systems. Search on Bibsonomy ESEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Andrew Sutherland, Gina Venolia Can peer code reviews be exploited for later information needs? Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Danny Dig, John Marrero, Michael D. Ernst Refactoring sequential Java code for concurrency via concurrent libraries. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Omar Alam, Bram Adams, Ahmed E. Hassan Measuring the progress of projects using the time dependence of code changes. Search on Bibsonomy ICSM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Chuxiang Li, Guosen Yue, Xiaodong Wang 0001, Mohammad Ali Khojastepour LDPC Code Design for Half-Duplex Cooperative Relay. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Michel Lavrauw, Leo Storme, Geertrui Van de Voorde On the code generated by the incidence matrix of points and hyperplanes in PG(n, q) and its dual. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 94B05, AMS Classifications 05B25, 51E21
16Sukanya Ratanotayanon, Susan Elliott Sim Inventive Tool Use to Comprehend Big Code. Search on Bibsonomy IEEE Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Jingtong Hu, Chun Jason Xue, Meikang Qiu, Wei-Che Tseng, Cathy Qun Xu, Lei Zhang 0194, Edwin Hsing-Mean Sha Minimizing Transferred Data for Code Update on Wireless Sensor Network. Search on Bibsonomy WASA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Yachen Wang, Peng Zhang, Junyang Shen, Siyang Liu 0001, Yuanan Liu Flexible Orthogonal Code for CDMA Based MIMO-OFDM Systems with Space-Time-Frequency Spreading. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Siyang Liu 0001, Feifei Wang, Ranran Zhang, Yachen Wang, Yuanan Liu Full Diversity Spreading code for Downlink Space-Time-Frequency Spreading CDMA. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Gregory B. Prokopski, Clark Verbrugge Compiler-Guaranteed Safety in Code-Copying Virtual Machines. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana A fully-non-transparent approach to the code location problem. Search on Bibsonomy SCOPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling WCET-driven, code-size critical procedure cloning. Search on Bibsonomy SCOPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Renuka Sindhgatta Identifying domain expertise of developers from source code. Search on Bibsonomy KDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF developer expertise, version history, document clustering
16Alexandru C. Telea, Lucian Voinea An interactive reverse engineering environment for large-scale C++ code. Search on Bibsonomy SOFTVIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Vinay Kulkarni, Sreedhar Reddy An abstraction for reusable MDD components: model-based generation of model-based code generators. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reuse, model-driven development, meta models, generative programming
16Curtis Fraser, Chris Luce, Jamie Starke, Jonathan Sillito Tool support for working with sets of source code entities. Search on Bibsonomy VL/HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Zhaogang Shu, Di Li 0001, Yueming Hu 0002, Feng Ye, Suhua Xiao, Jiafu Wan From Models to Code: Automatic Development Process for Embedded Control System. Search on Bibsonomy ICNSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Rylan Cottrell, Robert J. Walker, Jörg Denzinger Jigsaw: a tool for the small-scale reuse of source code. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF anti-unification, reuse, similarity, correspondence
16Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök Matlab® / Simulink® generated source code for safety related systems. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005 STILL: Exploit Code Detection via Static Taint and Initialization Analyses. Search on Bibsonomy ACSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min Selective code transformation for dual instruction set processors. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Dual instruction set processors, mixed-width instruction set architecture, reduced bid-width instruction set architecture
16Atsushi Ohori A proof theory for machine code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry-Howard isomorphism
16Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Thomas Noll 0001, Stefan Rieger Composing Transformations to Optimize Linear Code. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai Effective Fault Localization using Code Coverage. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Tasos Falas, Hossein Kashani Two-Dimensional Bar-Code Decoding with Camera-Equipped Mobile Phones. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Tim Paulden, David K. Smith 0002 Some novel locality results for the blob code spanning tree representation. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF locality, representation, encoding, coding, spanning tree
16Mustafa Karakoç, Adnan Kavak Stochastic Methods for Dynamic OVSF Code Assignment in 3G Networks. Search on Bibsonomy SAGA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Ryan M. Golbeck, Gregor Kiczales A machine code model for efficient advice dispatch. Search on Bibsonomy VMIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aspect-oriented programming, AspectJ
16Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Neil Birkbeck, Jonathan Levesque, José Nelson Amaral A Dimension Abstraction Approach to Vectorization in Matlab. Search on Bibsonomy CGO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen Graph-Based Procedural Abstraction. Search on Bibsonomy CGO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Mohammad Ali Maddah-Ali, Amir K. Khandani A new non-orthogonal space-time code with low decoding complexity. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Vladimir Stankovic 0001, Angelos D. Liveris, Zixiang Xiong, Costas N. Georghiades On code design for the Slepian-Wolf problem and lossless multiterminal networks. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Xianglong Huang, Stephen M. Blackburn, David Grove, Kathryn S. McKinley Fast and efficient partial code reordering: taking advantage of dynamic recompilatior. Search on Bibsonomy ISMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF locality, dynamic, instruction, JIT compilation
16Yuan-Jih Chu, Sau-Gee Chen An efficient LDPC code structure combined with the concept of difference family. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF error control codes, LDPC codes
16Wei Wu, Phu Dung Le An Efficient and Secure Code Sharing for Peer-to-Peer Communications. Search on Bibsonomy ITNG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Eli Tilevich, Yannis Smaragdakis Transparent program transformationsin the presence of opaque code. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program enhancement, aspect-oriented programming, program transformation
16Hyung Taek Lim, Sang Hoon Lee, Jong Soo Lim, Ju Yeun Kim, Eon Kyeong Joo Performance Improvement of DVB-H System with LDPC Code in MPE-FEC Frame. Search on Bibsonomy ISCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Steffen Tarnick Embedded Borden 2-UED Code Checkers. Search on Bibsonomy IOLTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Paul Royal, Mitch Halpin, David Dagon, Robert Edmonds, Wenke Lee PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware. Search on Bibsonomy ACSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Susanta Nanda, Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh Foreign Code Detection on the Windows/X86 Platform. Search on Bibsonomy ACSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Kai Pan, Sunghun Kim 0001, E. James Whitehead Jr. Bug Classification Using Program Slicing Metrics. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Lori A. Dalton, Costas N. Georghiades A full-rate, full-diversity four-antenna quasi-orthogonal space-time block code. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Paolo Tonella, Filippo Ricca Web Application Slicing in Presence of Dynamic Code Generation. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Web applications, program slicing, system dependence graph
16Chadd C. Williams, Jeffrey K. Hollingsworth Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF version control, Testing tools, debugging aids, configuration control
16Genyuan Wang, Xiang-Gen Xia 0001 On optimal multilayer cyclotomic space-time code designs. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Pranav Dayal, Mahesh K. Varanasi An optimal two transmit antenna space-time code and its stacked extensions. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Hugo M. Tullberg, Paul H. Siegel Serial concatenated TCM with an inner accumulate code - part II: density-evolution analysis. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ariel Goyeneche, Tamás Kiss, Gábor Terstyánszky, Gabor Kecskemeti, Thierry Delaitre, Péter Kacsuk, Stephen C. Winter Experiences with Deploying Legacy Code Applications as Grid Services Using GEMLCA, . Search on Bibsonomy EGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack An Agile and Extensible Code Generation Framework. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Amy P. Felty A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Jin Kwan Kim, Sang-Woo Kim, Kee-Hoo Yoon, Heung-Gyoon Ryu Design of Binary Multi-code CDMA System with Constant Amplitude. Search on Bibsonomy ICITA (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Yijun Yu, Yiqiao Wang 0001, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio César Sampaio do Prado Leite Reverse Engineering Goal Models from Legacy Code. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16S. A. Mohsen Karimian, Anthony G. Straatman Benchmarking of a 3D, Unstructured, Finite Volume Code of Incompressible Navier-Stokes Equation on a Cluster of Distributed-Memory Computers. Search on Bibsonomy HPCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov Visualizing the Behavior of Dynamically Modifiable Code. Search on Bibsonomy IWPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Andrian Marcus, Václav Rajlich, Joseph Buchta, Maksym Petrenko, Andrey Sergeyev Static Techniques for Concept Location in Object-Oriented Code. Search on Bibsonomy IWPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001 Distributed-code generation from hybrid systems models for time-delayed multirate systems. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed systems, hybrid systems
16Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav Cinderella SLIPPER: An SDL to C-Code Generator. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Reid Holmes, Gail C. Murphy Using structural context to recommend source code examples. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF development environment framework, recommender, examples, software structure
16Xiaoming Li 0004, María Jesús Garzarán, David A. Padua Optimizing Sorting with Genetic Algorithms. Search on Bibsonomy CGO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Richard R. Brooks Mobile Code Paradigms and Security Issues. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Juan Ramiro-Moreno, Klaus I. Pedersen, Preben E. Mogensen Capacity gain of beamforming techniques in a WCDMA system under channelization code constraints. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Annie T. T. Ying, Gail C. Murphy, Raymond T. Ng, Mark Chu-Carroll Predicting Source Code Changes by Mining Change History. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Jin Lin, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai A Compiler Framework for Recovery Code Generation in General Speculative Optimizations. Search on Bibsonomy IEEE PACT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16M. Anton Ertl, David Gregg Retargeting JIT Compilers by using C-Compiler Generated Executable Code. Search on Bibsonomy IEEE PACT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Ralph D. Jeffords, Elizabeth I. Leonard Using invariants to optimize formal specifications before code synthesis. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Paul van der Mark, Lex Wolters, Gerard Cats Using semi-lagrangian formulations with automatic code generation for environmental modeling. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilers, problem solving environments, numerical algorithms
16Trong-Yen Lee, Yang-Hsin Fan, Tsung-Hsun Yang, Chia-Chun Tsai, Wen-Ta Lee, Yuh-Shyan Hwang RCGES: Retargetable Code Generation for Embedded Systems. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstract Interpretation-Based Mobile Code Certification. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Experiments in abstract interpretation-based code certification for pervasive systems. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovich JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials. Search on Bibsonomy eTX The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Thomas Erlebach, Riko Jacob, Matús Mihalák, Marc Nunkesser, Gábor Szabó 0001, Peter Widmayer An Algorithmic View on OVSF Code Assignment. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Jon Heffley, Pascal Meunier Can Source Code Auditing Software Identify Common Vulnerabilities and Be Used to Evaluate Software Security? Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Paolo Baldan, Barbara König 0001, Ingo Stürmer Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Heungkyu Lee, Hanseok Ko Voice Code Verification Algorithm Using Competing Models for User Entrance Authentication. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Yoonseo Choi, Taewhan Kim Address assignment in DSP code generation - an integrated approach. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Marcus Tangermann, Christian Schwab, Athanasios P. Kalogeras, Kai Lorentz, Aggeliki S. Prayati Aspect-Orientation of Control Application Code for Distributed Automation Systems: The TORERO Approach. Search on Bibsonomy OTM Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1001 - #1100 of 58080 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19]
[20][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license