The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase demand-driven (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1986 (16) 1987-1991 (15) 1992-1995 (24) 1996-1997 (16) 1998-1999 (21) 2000-2001 (19) 2002 (22) 2003 (17) 2004 (21) 2005 (29) 2006 (25) 2007 (25) 2008 (34) 2009 (23) 2010-2011 (22) 2012-2013 (17) 2014-2015 (25) 2016-2017 (19) 2018-2019 (23) 2020 (16) 2021 (18) 2022-2023 (34) 2024 (3)
Publication types (Num. hits)
article(156) book(3) incollection(1) inproceedings(318) phdthesis(6)
Venues (Conferences, Journals, ...)
CoRR(13) PLDI(12) POPL(9) ACM Trans. Program. Lang. Syst...(8) Euro-Par(7) ICSE(6) CC(5) PPDP(5) WSC(5) Int. J. Prod. Res.(4) OOPSLA(4) SIGMOD Conference(4) AMCIS(3) DAC(3) ECOOP(3) HICSS(3) More (+10 of total 336)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 371 occurrences of 308 keywords

Results
Found 484 publication records. Showing 484 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
11Lara Khansa Information Security Economics: An Investigation of Demand-Driven Innovation and Market Value. Search on Bibsonomy AMCIS The full citation details ... 2007 DBLP  BibTeX  RDF
11Doug Lundquist, Aris M. Ouksel An efficient demand-driven and density-controlled publish/subscribe protocol for mobile environments. Search on Bibsonomy DEBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF controlled flooding, mobile ad hoc networks, connected dominating sets
11Amir Hossein Pourteymour, Emil Vassev, Joey Paquet Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. Search on Bibsonomy PDPTA The full citation details ... 2007 DBLP  BibTeX  RDF
11T. He, P. Ribbins, R. Brown, Lily Sun, Corin A. Gurr A Design for Business Intelligence Service in Demand Driven Supply Chain Management. Search on Bibsonomy ICEIS (4) The full citation details ... 2007 DBLP  BibTeX  RDF
11Thomas P. Way, Lori L. Pollock Demand-driven Inlining in a Region-based Optimizer for ILP Architectures Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
11Chin Soon Chong, Peter Lendermann, Boon-Ping Gan, Brett Marc Duarte, John W. Fowler, Thomas E. Callarman Development and analysis of a customer-demand-driven semiconductor supply chain model using the High Level Architecture. Search on Bibsonomy Int. J. Simul. Process. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Carsten Stechert, Nenad Pavlovic, Hans-Joachim Franke Demand-Driven Development of Parallel Robots with Adaptronic Components by a Modular System. Search on Bibsonomy ROBIO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Xiaochang Wu, Mingshi Li, Jianxin Wu Enhanced Demand-driven Service Differentiation Algorithm in Web Clusters. Search on Bibsonomy ICEBE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Erhat Ilgar, John Oldenhuizing, Peter Mika Let the Citizen Speak: A Demand-Driven e-Government Portal using Semantic Web Technology. Search on Bibsonomy AAAI Spring Symposium: Semantic Web Meets eGovernment The full citation details ... 2006 DBLP  BibTeX  RDF
11Suehee Pak, Eunha Rho, Juno Chang, Moon Hae Kim Demand-driven curriculum for embedded system software in Korea. Search on Bibsonomy SIGBED Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Haixun Wang, Chang-Shing Perng, Sheng Ma, Philip S. Yu Demand-driven frequent itemset mining using pattern structures. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Data mining, Association rule mining, Database integration
11Hanif D. Sherali, Ebru K. Bish, Xiaomei Zhu Polyhedral Analysis and Algorithms for a Demand-Driven Refleeting Model for Aircraft Assignment. Search on Bibsonomy Transp. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Gerald Friedland, Karl Pauls Towards a Demand Driven, Autonomous Processing and Streaming Architecture. Search on Bibsonomy ECBS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Emil Vassev, Joey Paquet A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. Search on Bibsonomy PLC The full citation details ... 2005 DBLP  BibTeX  RDF
11Steven Alexander Spoon Demand-Driven Type Inference with Subgoal Pruning. Search on Bibsonomy 2005   RDF
11Felix T. S. Chan, Sai Ho Chung A multi-criterion genetic algorithm for order distribution in a demand driven supply chain. Search on Bibsonomy Int. J. Comput. Integr. Manuf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Mike Chen, Richard Dubrawski, Sean P. Meyn Management of demand-driven production systems. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Curt Cramer, Oliver Stanze, Kilian Weniger, Martina Zitterbart Demand-Driven Clustering in MANETs. Search on Bibsonomy International Conference on Wireless Networks The full citation details ... 2004 DBLP  BibTeX  RDF
11Chin Soon Chong, Peter Lendermann, Boon-Ping Gan, Brett Marc Duarte, John W. Fowler, Thomas E. Callarman Analysis of a Customer Demand Driven Semiconductor Supply Chain in a Distributed Simulation Test Bed. Search on Bibsonomy WSC The full citation details ... 2004 DBLP  BibTeX  RDF
11Tomas Plachetka Tuning of Algorithms for Independent Task Placement in the Context of Demand-Driven Parallel Ray Tracing. Search on Bibsonomy EGPGV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Kim Viborg Andersen, Niels Bjørn-Andersen, Jason L. Dedrick Governance Initiatives Creating a Demand-Driven E-Commerce Approach: The Case of Denmar. Search on Bibsonomy Inf. Soc. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Christophe Alias, Denis Barthou Algorithm Recognition based on Demand-Driven Data-flow Analysis. Search on Bibsonomy WCRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Philipp Schiegg, Amit Garg, Robert Roesgen, César Toscano, João José Pinto Ferreira, Ricardo J. Rabelo, Alexandra A. Pereira Klen Configuring Consumer-Demand Driven Supply Networks - in Made-to-Fit Fashion Sector. Search on Bibsonomy MCPC The full citation details ... 2003 DBLP  BibTeX  RDF
11Roland T. Mittermeir, Andreas Bollin Demand-Driven Specification Partitioning. Search on Bibsonomy JMLC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Rafael del Vado Vírseda A demand-driven narrowing calculus with overlapping definitional trees. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rewrite systems, functional logic programming languages
11Robert Winter 0001, Bernhard Strauch A Method for Demand-Driven Information Requirements Analysis in Data Warehousing Projects. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Philipp Schiegg, António Lucas Soares, Amit Garg, Robert Roesgen, Volker Stich Configuring Consumer-Demand Driven Supply Networks. Search on Bibsonomy PRO-VE The full citation details ... 2003 DBLP  BibTeX  RDF
11Colla J. MacDonald, Emma J. Stodel, Laura G. Farres, Krista Breithaupt, Martha A. Gabriel The demand-driven learning model as a standard for web-based learning. Search on Bibsonomy eLearn Mag. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
11Jan Olhager, Fredrik Persson, Berne Parborg, Sonny Rosen Linkoping Supply chain impacts at Ericsson - from production units to demand-driven supply units. Search on Bibsonomy Int. J. Technol. Manag. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
11Paul E. Dunne, Paul H. Leng, Gerald F. Nwana Demand-driven logic simulation using a network of loosely coupled processors. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
11Christian W. Probst A demand-driven solver for constraint-based control flow analysis. Search on Bibsonomy 2002   RDF
11M. Nottingham On defining a role for demand-driven surrogate origin servers. Search on Bibsonomy Comput. Commun. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
11Colla J. MacDonald, Emma J. Stodel, Laura G. Farres, Krista Breithaupt, Martha A. Gabriel The demand-driven learning model: A framework for Web-based learning. Search on Bibsonomy Internet High. Educ. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
11Huican Zhu, Hong Tang 0004, Tao Yang 0009 Demand-driven Service Differentiation in Cluster-based Network Servers. Search on Bibsonomy INFOCOM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
11Stefan Kramer 0001 Demand-Driven Construction of Structural Features in ILP. Search on Bibsonomy ILP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
11Colin Smart Demand-driven, concurrent discrete event simulation. Search on Bibsonomy 2001   RDF
11Rachel Ben-Eliyahu-Zohary A Demand-Driven Algorithm for Generating Minimal Models. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
11Paul E. Dunne, Paul H. Leng The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11Uwe Rauschenbach, Heidrun Schumann Demand-driven image transmission with levels of detail and regions of interest. Search on Bibsonomy Comput. Graph. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11Jens Knoop Demand-Driven Model Checking for Context-Free Processes. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11Patrick J. Moran, Chris Henze Large Field Visualization with Demand-Driven Calculation. Search on Bibsonomy IEEE Visualization The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11David McSherry Demand-Driven Discovery of Adaptation Knowledge. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
11Kian-Lee Tan, Beng Chin Ooi Batch Scheduling for Demand-Driven Servers in Wireless Environments. Search on Bibsonomy Inf. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
11Panayotis E. Fouliras, K. G. Margartis A Parallel Demand-driven Simulation Algorithm for SIMD Computers. Search on Bibsonomy Parallel Algorithms Appl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
11Xin Yuan 0001, Rajiv Gupta 0001, Rami G. Melhem Demand-Driven Data Flow Analysis for Communication Optimization. Search on Bibsonomy Parallel Process. Lett. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11Naohiko Kohtake, Yoshinobu Yamamoto, Yuichiro Anzai Reducing Restriction of Activity in Media Communication with Demand Driven Viewer. Search on Bibsonomy HCI (2) The full citation details ... 1997 DBLP  BibTeX  RDF
11Sandip K. Biswas A Demand-Driven Set-Based Analysis. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
11Stefaan Decorte, Danny De Schreye Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
11Kian-Lee Tan, Jeffrey Xu Yu A Break for Workaholics: Energy-Efficient Selective Tuning Mechanisms for Demand-Driven-Based Wireless Environment. Search on Bibsonomy DASFAA The full citation details ... 1997 DBLP  BibTeX  RDF
11Dieter Schmalstieg, Michael Gervautz Demand-Driven Geometry Transmission for Distributed Virtual Environments. Search on Bibsonomy Comput. Graph. Forum The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
11Peng Tu, David A. Padua Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
11William Blume, Rudolf Eigenmann Demand-Driven, Symbolic Range Propagation. Search on Bibsonomy LCPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
11Krishnamurthy Subramanian, Mehdi R. Zargham Distributed and Parallel Demand Driven Logic Simulation Algorithms. Search on Bibsonomy VLSI Design The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
11Arnon Avron, Nada Sasson Stability, Sequentiality and Demand Driven Evaluation in Dataflow. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
11Stefan Wrobel Concept formation and knowledge revision: a demand driven approach to representation change. Search on Bibsonomy 1994   RDF
11Eduardo Talero A demand-Driven Approach to National Informatics Policy. Search on Bibsonomy IFIP Congress (3) The full citation details ... 1994 DBLP  BibTeX  RDF
11Barton C. Massey, Evan Tick Demand-Driven Dataflow for Concurrent Committed-Choice Code. Search on Bibsonomy IFIP PACT The full citation details ... 1994 DBLP  BibTeX  RDF
11Matthew E. Berge, Craig A. Hopperstad Demand Driven Dispatch: A Method for Dynamic Aircraft Capacity Assignment, Models and Algorithms. Search on Bibsonomy Oper. Res. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Paul E. Dunne, Chris J. J. Gittings, Paul H. Leng Sequential and parallel strategies for the demand-driven simulation of logic circuits. Search on Bibsonomy Microprocess. Microprogramming The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo A Demand Driven Computation Strategy for Lazy Narrowing. Search on Bibsonomy PLILP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11George K. Thiruvathukal, Thomas W. Christopher A Simulation of Demand-Driven Dataflow: Translation from Lucid into MDC Language. Search on Bibsonomy IPPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
11Shyh-Chang Su, Prasenjit Biswas Scheduling demand-driven parallel logic programs on transputers. Search on Bibsonomy Microprocessing and Microprogramming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
11Prasenjit Biswas, Jin Chen A demand-driven macro-dataflow schema for distributed graph reduction on multiple G-machines. Search on Bibsonomy Microprocessing and Microprogramming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
11Satoshi Ono, Naohisa Takahashi Optimization algorithm for parallel demand - driven computation of functional programs. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Steven P. Smith, Bill Underwood, M. Ray Mercer D^3FS: A Demand Driven Deductive Fault Simulator. Search on Bibsonomy ITC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Stefan Wrobel Demand-Driven Concept Formation. Search on Bibsonomy Knowledge Representation and Organization in Machine Learning The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
11Bharat Jayaraman, Robert M. Keller Primitives for resource management in a demand-driven reduction model. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
11Frank C. H. Lin, Robert M. Keller Gradient Model: A Demand-Driven Load Balancing Scheme. Search on Bibsonomy ICDCS The full citation details ... 1986 DBLP  BibTeX  RDF
11Satoshi Ono, Naohisa Takahashi, Makoto Amamiya Optimized Demand-driven Evaluation of Functional Programs on a Dataflow Machine. Search on Bibsonomy ICPP The full citation details ... 1986 DBLP  BibTeX  RDF
11Marco Bellia, Giorgio Levi, Maurizio Martelli On Compiling Prolog Programs on Demand Driven Architectures. Search on Bibsonomy Logic Programming Workshop The full citation details ... 1983 DBLP  BibTeX  RDF
11Richard B. Bunt, J. N. P. Hume A simulation study of a demand-driven scheduling algorithm. Search on Bibsonomy ANSS The full citation details ... 1975 DBLP  BibTeX  RDF
9Jerry Chen, Ilmi Yoon, Wes Bethel Interactive, Internet Delivery of Visualization via Structured Prerendered Multiresolution Imagery. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
9Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis Efficient Intensional Implementation for Lazy Functional Languages. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Implementation of functional languages, dataflow computation, intensional logic
9Ranjit Jhala, Rupak Majumdar Interprocedural analysis of asynchronous programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF asynchronous (event-driven) programming, dataflow analysis
9Yung Ryn Choe, Derek L. Schuff, Jagadeesh M. Dyaberi, Vijay S. Pai Improving VoD server efficiency with bittorrent. Search on Bibsonomy ACM Multimedia The full citation details ... 2007 DBLP  DOI  BibTeX  RDF peer-to-peer, video-on-demand, multimedia streaming, BitTorrent, experimental systems
9Klaus Moessner, Jijun Luo, Eiman Mohyeldin, David Grandblaise, Clemens Kloeck, Ihan Martoyo, Oriol Sallent, Panagiotis Demestichas, George Dimitrakopoulos 0001, Kostas Tsagkaris, Nikolas Olaziregi Functional Architecture of End-to-End Reconfigurable Systems. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
9Augusto Ciuffoletti, Michalis Polychronakis Architecture of a Network Monitoring Element. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF on demand network monitoring, network monitoring element, scalability issues, network monitoring, security issues, passive network monitoring
9Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar ABCD: eliminating array bounds checks on demand. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
9K. Tucker, Kurt Stirewalt Model Based User-Interface Reengineering. Search on Bibsonomy WCRE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF program dependence web, user interface, reengineering, model-based
9Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
9Guoqing Xu 0001, Atanas Rountev Detecting inefficiently-used containers to avoid bloat. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cfl reachability, container bloat, points-to analysis
9Richard Heeks 0001 ICT4D 2.0: The Next Phase of Applying ICT for International Development. Search on Bibsonomy Computer The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
9John Morrison Computing with Condensed Graphs. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
9Hongding Wang, Yunhai Tong, Shaohua Tan, Shi-Wei Tang, Dongqing Yang, Guohui Sun An Adaptive Approach to Schema Classification for Data Warehouse Modeling. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF schema elements classification, adaptive, data warehousing, vector space model
9Xiaolin Gui, Quanxin Zhu Management and Deployment of the Service-Oriented Sensors in Grid System. Search on Bibsonomy GCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
9Eliezer Geisler The measurement of scientific activity: Research directions in linking philosophy of science and metrics of science and technology outputs. Search on Bibsonomy Scientometrics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Dejing Dou, Drew V. McDermott, Peishen Qi Ontology Translation on the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Hong Linh Truong 0001, Thomas Fahringer Self-Managing Sensor-Based Middleware for Performance Monitoring and Data Integration in Grids. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Christoph Steindl From Agile Software Development to Agile Businesses. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Milena Radenkovic 0001, Igor Miladinovic Towards Peer-to-Peer Access Grid. Search on Bibsonomy SAG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF P2P, SIP, Video Conferencing, Access Grid
9Dejing Dou, Drew V. McDermott, Peishen Qi Ontology Translation on the Semantic Web. Search on Bibsonomy OTM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
9Chaitanya K. Baru, Amarnath Gupta, Bertram Ludäscher, Richard Marciano, Yannis Papakonstantinou, Pavel E. Velikhov, Vincent Chu XML-Based Information Mediation with MIX. Search on Bibsonomy SIGMOD Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF XML
9Dirk Fuchs Requirement-Based Cooperative Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
9Allen R. Martin, Matthew O. Ward High Dimensional Brushing for Interactive Exploration of Multivariate Data. Search on Bibsonomy IEEE Visualization The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multivariate data visualization, visual data exploration, brushing
9Goetz Graefe Encapsulation of Parallelism in the Volcano Query Processing System. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
9Matthew K. O. Lee A Packet Based Demand/Data Driven Reduction Model for the Parallel Execution of Logic Programs. Search on Bibsonomy CONPAR The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
6Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali Compositional may-must program analysis: unleashing the power of alternation. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software model checking, abstraction refinement, directed testing
6Lu Qin 0001, Jeffrey Xu Yu, Lijun Chang, Yufei Tao 0001 Scalable Keyword Search on Large Data Streams. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
6Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001 Self-recovery in server programs. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF memory propagation, self cleansing, self recovery
6Satish Chandra 0001, Stephen J. Fink, Manu Sridharan Snugglebug: a powerful approach to weakest preconditions. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interprocedural analysis, weakest preconditions, symbolic analysis
Displaying result #301 - #400 of 484 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
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