|
|
Venues (Conferences, Journals, ...)
|
|
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 |
11 | Lara Khansa |
Information Security Economics: An Investigation of Demand-Driven Innovation and Market Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Reaching New Heights. 13th Americas Conference on Information Systems, AMCIS 2007, Keystone, Colorado, USA, August 9-12, 2007, pp. 395, 2007, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Doug Lundquist, Aris M. Ouksel |
An efficient demand-driven and density-controlled publish/subscribe protocol for mobile environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, DEBS 2007, Toronto, Ontario, Canada, June 20-22, 2007, pp. 26-37, 2007, ACM, 978-1-59593-665-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
controlled flooding, mobile ad hoc networks, connected dominating sets |
11 | Amir Hossein Pourteymour, Emil Vassev, Joey Paquet |
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2007, Las Vegas, Nevada, USA, June 25-28, 2007, Volume 1, pp. 91-97, 2007, CSREA Press, 1-60132-020-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | T. 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](Pics/bibsonomy.png) |
ICEIS (4) ![In: ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume SAIC, Funchal, Madeira, Portugal, June 12-16, 2007, pp. 20-25, 2007, 978-972-8865-91-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Thomas P. Way, Lori L. Pollock |
Demand-driven Inlining in a Region-based Optimizer for ILP Architectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0604043, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Chin 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](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 2(3/4), pp. 210-221, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Carsten Stechert, Nenad Pavlovic, Hans-Joachim Franke |
Demand-Driven Development of Parallel Robots with Adaptronic Components by a Modular System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2006, Kunming, China, 17-20 December 2006, pp. 666-671, 2006, IEEE Computer Society, 1-4244-0570-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Xiaochang Wu, Mingshi Li, Jianxin Wu |
Enhanced Demand-driven Service Differentiation Algorithm in Web Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 24-26 October 2006, Shanghai, China, pp. 386-391, 2006, IEEE Computer Society, 0-7695-2645-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Erhat Ilgar, John Oldenhuizing, Peter Mika |
Let the Citizen Speak: A Demand-Driven e-Government Portal using Semantic Web Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Semantic Web Meets eGovernment ![In: Semantic Web Meets eGovernment, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-06, Stanford, California, USA, March 27-29, 2006, pp. 54-55, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Suehee Pak, Eunha Rho, Juno Chang, Moon Hae Kim |
Demand-driven curriculum for embedded system software in Korea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 2(4), pp. 15-19, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Haixun Wang, Chang-Shing Perng, Sheng Ma, Philip S. Yu |
Demand-driven frequent itemset mining using pattern structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 8(1), pp. 82-102, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Data mining, Association rule mining, Database integration |
11 | Hanif D. Sherali, Ebru K. Bish, Xiaomei Zhu |
Polyhedral Analysis and Algorithms for a Demand-Driven Refleeting Model for Aircraft Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 39(3), pp. 349-366, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gerald Friedland, Karl Pauls |
Towards a Demand Driven, Autonomous Processing and Streaming Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 473-480, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Emil Vassev, Joey Paquet |
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 29-35, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Steven Alexander Spoon |
Demand-Driven Type Inference with Subgoal Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
11 | Felix T. S. Chan, Sai Ho Chung |
A multi-criterion genetic algorithm for order distribution in a demand driven supply chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 17(4), pp. 339-351, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Mike Chen, Richard Dubrawski, Sean P. Meyn |
Management of demand-driven production systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(5), pp. 686-698, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Curt Cramer, Oliver Stanze, Kilian Weniger, Martina Zitterbart |
Demand-Driven Clustering in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Wireless Networks ![In: Proceedings of the International Conference on Wireless Networks, ICWN '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1, pp. 81-87, 2004, CSREA Press, 1-932415-38-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Chin 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](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 36th conference on Winter simulation, Washington, DC, USA, December 5-8, 2004, pp. 1902-1909, 2004, IEEE Computer Society, 0-7803-8786-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Tomas Plachetka |
Tuning of Algorithms for Independent Task Placement in the Context of Demand-Driven Parallel Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGPGV ![In: 5th Eurographics/ACM SIGGRAPH Symposium on Parallel Graphics and Visualization, EGPGV 2004, Grenoble, France, June 10-11, 2004, pp. 101-109, 2004, 3-905673-11-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Kim 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](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 19(1), pp. 95-105, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Christophe Alias, Denis Barthou |
Algorithm Recognition based on Demand-Driven Data-flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 296-305, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Philipp 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](Pics/bibsonomy.png) |
MCPC ![In: Proceedings of the 2nd Interdisciplinary World Congress on Mass Customization and Personalization, MCPC 2003, Munich, Germany, October 6-8, 2003., pp. 88:1-88:21, 2003, Technical University Munich. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Roland T. Mittermeir, Andreas Bollin |
Demand-Driven Specification Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 241-253, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Rafael del Vado Vírseda |
A demand-driven narrowing calculus with overlapping definitional trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 253-263, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
rewrite systems, functional logic programming languages |
11 | Robert Winter 0001, Bernhard Strauch |
A Method for Demand-Driven Information Requirements Analysis in Data Warehousing Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 231, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Philipp Schiegg, António Lucas Soares, Amit Garg, Robert Roesgen, Volker Stich |
Configuring Consumer-Demand Driven Supply Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRO-VE ![In: Processes and Foundations for Virtual Organizations, IFIP TC5/WG5.5 Fourth Working Conference on Virtual Enterprises (PRO-VE'03), October 29-31, 2003, Lugano, Switzerland, pp. 475-482, 2003, Kluwer, 1-4020-7638-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Colla 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](Pics/bibsonomy.png) |
eLearn Mag. ![In: eLearn Mag. 2002(12), pp. 3, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jan Olhager, Fredrik Persson, Berne Parborg, Sonny Rosen Linkoping |
Supply chain impacts at Ericsson - from production units to demand-driven supply units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Technol. Manag. ![In: Int. J. Technol. Manag. 23(1/2/3), pp. 40-59, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Paul E. Dunne, Paul H. Leng, Gerald F. Nwana |
Demand-driven logic simulation using a network of loosely coupled processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 47(14-15), pp. 1117-1128, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Christian W. Probst |
A demand-driven solver for constraint-based control flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
11 | M. Nottingham |
On defining a role for demand-driven surrogate origin servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 24(2), pp. 215-221, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Colla 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](Pics/bibsonomy.png) |
Internet High. Educ. ![In: Internet High. Educ. 4(1), pp. 9-30, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Huican Zhu, Hong Tang 0004, Tao Yang 0009 |
Demand-driven Service Differentiation in Cluster-based Network Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM 2001, The Conference on Computer Communications, Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies, Twenty years into the communications odyssey, Anchorage, Alaska, USA, April 22-26, 2001, pp. 679-688, 2001, IEEE Comptuer Society, 0-7803-7016-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Kramer 0001 |
Demand-Driven Construction of Structural Features in ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 132-141, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Colin Smart |
Demand-driven, concurrent discrete event simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
11 | Rachel Ben-Eliyahu-Zohary |
A Demand-Driven Algorithm for Generating Minimal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA., pp. 267-272, 2000, AAAI Press / The MIT Press, 0-262-51112-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Paul E. Dunne, Paul H. Leng |
The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 5(5), pp. 288-306, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Rauschenbach, Heidrun Schumann |
Demand-driven image transmission with levels of detail and regions of interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 23(6), pp. 857-866, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Jens Knoop |
Demand-Driven Model Checking for Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 201-213, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Patrick J. Moran, Chris Henze |
Large Field Visualization with Demand-Driven Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 10th IEEE Visualization Conference, IEEE Vis 1999, San Francisco, CA, USA, October 24-29, 1999, Proceedings, pp. 27-33, 1999, IEEE Computer Society and ACM, 0-7803-5897-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | David McSherry |
Demand-Driven Discovery of Adaptation Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages, pp. 222-227, 1999, Morgan Kaufmann, 1-55860-613-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
11 | Kian-Lee Tan, Beng Chin Ooi |
Batch Scheduling for Demand-Driven Servers in Wireless Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 109(1-4), pp. 281-298, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Panayotis E. Fouliras, K. G. Margartis |
A Parallel Demand-driven Simulation Algorithm for SIMD Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Algorithms Appl. ![In: Parallel Algorithms Appl. 13(1), pp. 53-73, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Xin Yuan 0001, Rajiv Gupta 0001, Rami G. Melhem |
Demand-Driven Data Flow Analysis for Communication Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 7(4), pp. 359-370, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Naohiko Kohtake, Yoshinobu Yamamoto, Yuichiro Anzai |
Reducing Restriction of Activity in Media Communication with Demand Driven Viewer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Design of Computing Systems: Social and Ergonomic Considerations, Proceedings of the Seventh International Conference on Human-Computer Interaction, (HCI International '97), San Francisco, California, USA, August 24-29, 1997, Volume 2, pp. 189-192, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
11 | Sandip K. Biswas |
A Demand-Driven Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 372-385, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Stefaan Decorte, Danny De Schreye |
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 78-92, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
11 | Kian-Lee Tan, Jeffrey Xu Yu |
A Break for Workaholics: Energy-Efficient Selective Tuning Mechanisms for Demand-Driven-Based Wireless Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications '97, Proceedings of the Fifth International Conference on Database Systems for Advanced Applications (DASFAA), Melbourne, Australia, April 1-4, 1997, pp. 165-174, 1997, World Scientific, 981-02-3107-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
11 | Dieter Schmalstieg, Michael Gervautz |
Demand-Driven Geometry Transmission for Distributed Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 15(3), pp. 421-431, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Peng Tu, David A. Padua |
Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 9th international conference on Supercomputing, ICS 1995, Barcelona, Spain, July 3-7, 1995, pp. 414-423, 1995, ACM, 0-89791-728-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | William Blume, Rudolf Eigenmann |
Demand-Driven, Symbolic Range Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings, pp. 141-160, 1995, Springer, 3-540-60765-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Krishnamurthy Subramanian, Mehdi R. Zargham |
Distributed and Parallel Demand Driven Logic Simulation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 1(2), pp. 169-179, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Arnon Avron, Nada Sasson |
Stability, Sequentiality and Demand Driven Evaluation in Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 6(6), pp. 620-642, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Wrobel |
Concept formation and knowledge revision: a demand driven approach to representation change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
11 | Eduardo Talero |
A demand-Driven Approach to National Informatics Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (3) ![In: Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, pp. 17-25, 1994, North-Holland, 0-444-81990-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
11 | Barton C. Massey, Evan Tick |
Demand-Driven Dataflow for Concurrent Committed-Choice Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994, pp. 215-224, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
11 | Matthew E. Berge, Craig A. Hopperstad |
Demand Driven Dispatch: A Method for Dynamic Aircraft Capacity Assignment, Models and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 41(1), pp. 153-168, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Paul E. Dunne, Chris J. J. Gittings, Paul H. Leng |
Sequential and parallel strategies for the demand-driven simulation of logic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 38(1-5), pp. 519-525, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Demand Driven Computation Strategy for Lazy Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings, pp. 184-200, 1993, Springer, 3-540-57186-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | George K. Thiruvathukal, Thomas W. Christopher |
A Simulation of Demand-Driven Dataflow: Translation from Lucid into MDC Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: The Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30 - May 2, 1991., pp. 634-637, 1991, IEEE Computer Society, 0-8186-9167-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Shyh-Chang Su, Prasenjit Biswas |
Scheduling demand-driven parallel logic programs on transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 28(1-5), pp. 37-41, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Prasenjit Biswas, Jin Chen |
A demand-driven macro-dataflow schema for distributed graph reduction on multiple G-machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 28(1-5), pp. 161-166, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Satoshi Ono, Naohisa Takahashi |
Optimization algorithm for parallel demand - driven computation of functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 19(8), pp. 1-12, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Steven P. Smith, Bill Underwood, M. Ray Mercer |
D^3FS: A Demand Driven Deductive Fault Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings International Test Conference 1988, Washington, D.C., USA, September 1988, pp. 582-592, 1988, IEEE Computer Society, 0-8186-0870-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Wrobel |
Demand-Driven Concept Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge Representation and Organization in Machine Learning ![In: Knowledge Representation and Organization in Machine Learning [Workshop, 1987, Schloß Ehringerfeld, Germany], pp. 289-319, 1987, Springer, 3-540-50768-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Bharat Jayaraman, Robert M. Keller |
Primitives for resource management in a demand-driven reduction model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 15(3), pp. 215-244, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Frank C. H. Lin, Robert M. Keller |
Gradient Model: A Demand-Driven Load Balancing Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 6th International Conference on Distributed Computing Systems, Cambridge, Massachusetts, USA, May 19-13, 1986, pp. 329-336, 1986, IEEE Computer Society, 0-8186-0697-5. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
11 | Satoshi Ono, Naohisa Takahashi, Makoto Amamiya |
Optimized Demand-driven Evaluation of Functional Programs on a Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: International Conference on Parallel Processing, ICPP'86, University Park, PA, USA, August 1986., pp. 421-428, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
11 | Marco Bellia, Giorgio Levi, Maurizio Martelli |
On Compiling Prolog Programs on Demand Driven Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic Programming Workshop ![In: Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings., pp. 518-535, 1983, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
11 | Richard B. Bunt, J. N. P. Hume |
A simulation study of a demand-driven scheduling algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANSS ![In: Proceedings of the 3rd Symposium on Simulation of Computer Systems, ANSS 1975, Boulder, Colorado, USA, August 12-14, 1975, pp. 117-126, 1975, IEEE. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
9 | Jerry Chen, Ilmi Yoon, Wes Bethel |
Interactive, Internet Delivery of Visualization via Structured Prerendered Multiresolution Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 14(2), pp. 302-312, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis |
Efficient Intensional Implementation for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(1), pp. 123-141, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Implementation of functional languages, dataflow computation, intensional logic |
9 | Ranjit Jhala, Rupak Majumdar |
Interprocedural analysis of asynchronous programs. ![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. 339-350, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, dataflow analysis |
9 | Yung Ryn Choe, Derek L. Schuff, Jagadeesh M. Dyaberi, Vijay S. Pai |
Improving VoD server efficiency with bittorrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 117-126, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
peer-to-peer, video-on-demand, multimedia streaming, BitTorrent, experimental systems |
9 | Klaus 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](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 196-200, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Augusto Ciuffoletti, Michalis Polychronakis |
Architecture of a Network Monitoring Element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2006 Workshops: Parallel Processing, CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers, pp. 5-14, 2006, Springer, 978-3-540-72226-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
on demand network monitoring, network monitoring element, scalability issues, network monitoring, security issues, passive network monitoring |
9 | Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar |
ABCD: eliminating array bounds checks on demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 321-333, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | K. Tucker, Kurt Stirewalt |
Model Based User-Interface Reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Sixth Working Conference on Reverse Engineering, WCRE '99, Atlanta, Georgia, USA, October 6-8, 1999, pp. 56-, 1999, IEEE Computer Society, 0-7695-0303-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
program dependence web, user interface, reengineering, model-based |
9 | Mary Lou Soffa |
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 355-356, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Guoqing Xu 0001, Atanas Rountev |
Detecting inefficiently-used containers to avoid bloat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 160-173, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cfl reachability, container bloat, points-to analysis |
9 | Richard Heeks 0001 |
ICT4D 2.0: The Next Phase of Applying ICT for International Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(6), pp. 26-33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | John Morrison |
Computing with Condensed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 10-19, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hongding 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](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(2), pp. 252-260, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
schema elements classification, adaptive, data warehousing, vector space model |
9 | Xiaolin Gui, Quanxin Zhu |
Management and Deployment of the Service-Oriented Sensors in Grid System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings, pp. 482-485, 2006, IEEE Computer Society, 0-7695-2694-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Eliezer Geisler |
The measurement of scientific activity: Research directions in linking philosophy of science and metrics of science and technology outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 62(2), pp. 269-284, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 35-57, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Hong Linh Truong 0001, Thomas Fahringer |
Self-Managing Sensor-Based Middleware for Performance Monitoring and Data Integration in Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Christoph Steindl |
From Agile Software Development to Agile Businesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 258-265, 2005, IEEE Computer Society, 0-7695-2431-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Milena Radenkovic 0001, Igor Miladinovic |
Towards Peer-to-Peer Access Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAG ![In: Scientific Applications of Grid Computing, First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers, pp. 134-145, 2004, Springer, 3-540-25810-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
P2P, SIP, Video Conferencing, Access Grid |
9 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 952-969, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Chaitanya 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](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, USA., pp. 597-599, 1999, ACM Press, 1-58113-084-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
XML |
9 | Dirk Fuchs |
Requirement-Based Cooperative Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 139-153, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Allen R. Martin, Matthew O. Ward |
High Dimensional Brushing for Interactive Exploration of Multivariate Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 271, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multivariate data visualization, visual data exploration, brushing |
9 | Goetz Graefe |
Encapsulation of Parallelism in the Volcano Query Processing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 102-111, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Matthew K. O. Lee |
A Packet Based Demand/Data Driven Reduction Model for the Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, Germany, September 17-19, 1986, Proceedings, pp. 214-221, 1986, Springer, 3-540-16811-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
6 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. ![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. 43-56, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
6 | Lu Qin 0001, Jeffrey Xu Yu, Lijun Chang, Yufei Tao 0001 |
Scalable Keyword Search on Large Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1199-1202, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
6 | Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001 |
Self-recovery in server programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 49-58, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
memory propagation, self cleansing, self recovery |
6 | Satish Chandra 0001, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. ![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. 363-374, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|