|
|
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 |
62 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 992-1030, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis |
56 | Suehee Pak, Eunha Rho, Juno Chang |
Industrial demand-driven curriculums for computer-software field in Korea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 63-67, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
course material, curriculum development methodology, demand-driven course, demand-driven curriculum, detailed syllabus, track |
54 | Emil Vassev, Joey Paquet |
A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Third Annual Conference on Communication Networks and Services Research (CNSR 2005), 16-18 May 2005, Halifax, Novia Scotia, Canada, pp. 176-182, 2005, IEEE Computer Society, 0-7695-2333-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Demand-Driven Execution, Distributed Computing, JINI, JavaSpaces, GIPSY |
53 | Xin Zheng, Radu Rugina |
Demand-driven alias analysis for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 197-208, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis |
53 | C. N. Verdouw, Adrie J. M. Beulens, D. Bouwmeester, J. H. Trienekens |
Modelling Demand-driven Chain Networks using Multiple CODPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Lean Business Systems and Beyond: First IFIP TC 5 Advanced Production Management Systems Conference (APMS'2006), Wroclaw, Poland, September 18-20, 2006, pp. 433-442, 2006, Springer, 978-0-387-77248-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Customer Order Decoupling Point (CODP), Demand-driven chain networks, Dairy Paper type Research paper, Case study |
53 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 575-584, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing |
47 | Yi-Hsiu Wei, Jean-Luc Gaudiot |
Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(8), pp. 946-966, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters |
47 | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík |
Demand-driven points-to analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 59-76, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, demand-driven analysis, context-free language reachability |
46 | Gagan Agrawal, Jinqian Li, Qi Su |
Evaluating a Demand Driven Technique for Call Graph Construction. ![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. 29-45, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | 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 |
40 | Krishnamurthy Subramanian, Mehdi R. Zargham |
Distributed and Parallel Demand Driven Logic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 485-490, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
38 | Ákos Hajnal, István Forgács |
A Precise Demand-Driven Def-Use Chaining Algorithm. ![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. 77-, 2002, IEEE Computer Society, 0-7695-1438-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
demand-driven algorithm, interprocedural du chain analysis, realizable du chain, data flow analysis |
36 | Harekrishna Misra |
Managing rural citizen interfaces in e-governance systems: a study in Indian context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 155-162, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
demand driven services, rural citizens, user interfaces, e-governance |
35 | Ji Wang 0001, Xiaodong Ma, Wei Dong 0006, Hou-Feng Xu, Wanwei Liu |
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 347-356, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
memory leak detection, static analysis, flow-sensitive, demand-driven |
35 | Wei Le, Mary Lou Soffa |
Refining buffer overflow detection via demand-driven path-sensitive 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. 63-68, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
path-sensitive, demand-driven, infeasible paths |
35 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Demand-driven structural testing with dynamic instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 156-165, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
demand-driven instrumentation, testing, structural testing, code coverage, Java programming language |
35 | Danny Dubé, Marc Feeley |
A demand-driven adaptive type analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 84-97, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
static analysis, type analysis, demand-driven analysis |
35 | Michael P. Gerlek, Eric Stoltz, Michael Wolfe |
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 85-122, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable |
35 | Gagan Agrawal |
Simultaneous Demand-Driven Data-Flow and Call Graph Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 453-462, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
Demand-driven Computation of Interprocedural Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 37-48, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Claus Kaldeich, Jorge Oliveira e Sá |
Data Warehouse Methodology: A Process Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 536-549, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Masakazu Yamanaka, Kenji Niimura, Tomio Kamada |
Content publishing framework for interactive paper documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005, pp. 207-216, 2005, ACM, 1-59593-240-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, multi-threading, demand-driven, data binding |
33 | Jorjeta G. Jetcheva, David B. Johnson 0001 |
Adaptive demand-driven multicast routing in multi-hop wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 2nd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2001, October 4-5, 2001, Long Beach, CA, USA, pp. 33-44, 2001, ACM, 1-58113-428-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
Demand-Driven Indexing of Prolog Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 395-409, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Conal M. Elliott |
Push-pull functional reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 25-36, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantics, concurrency, data-driven, functional reactive programming, demand-driven |
29 | Peter Nielsen, Kenn Steger-Jensen |
Estimating Flexibility Requirements in a Demand-Driven Lean/JIT Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 757-766, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
capacity matching, flexibility, JIT |
29 | Eric Stoltz, Michael Wolfe, Michael P. Gerlek |
Constant propagation: a fresh, demand-driven look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 400-404, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
compiler optimization, constant propagation, SSA, demand-driven analysis |
29 | Boon-Chong Seet, Yan Pan, Wen-Jing Hsu, Chiew Tong Lau |
Multi-Home Region Location Service for Wireless Ad Hoc Networks: An Adaptive Demand-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WONS ![In: 2nd International Conference on Wireless on Demand Network Systems and Service (WONS 2005), 19-21 January 2005, St. Moritz, Switzerland, pp. 258-263, 2005, IEEE Computer Society, 0-7695-2292-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
Demand-Driven Compositional Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 367-381, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental and demand-driven points-to analysis using logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 117-128, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
demand-drive analysis, logic programming, pointer analysis, incremental analysis |
28 | Gagan Agrawal |
Demand-Driven Construction of Call Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 125-140, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Todd A. Proebsting, Charles N. Fischer |
Demand-Driven Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 683-710, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
optimizing compiler |
28 | Steven P. Smith, M. Ray Mercer, B. Brodk |
Demand Driven Simulation: BACKSIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28 - July 1, 1987., pp. 181-187, 1987, IEEE Computer Society Press / ACM. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Manuel Arenaz, Juan Touriño, Ramon Doallo |
XARK: An extensible framework for automatic recognition of computational kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(6), pp. 32:1-32:56, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automatic kernel recognition, demand-driven algorithms, gated single assignment, use-def chains, symbolic analysis, strongly connected component |
27 | Alan Chalmers, Kirsten Cater |
Realistic Rendering in Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 21-28, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Parallel processing, task scheduling, visual perception, demand driven, inattentional blindness |
25 | Marc M. Lankhorst |
Towards A Service-Oriented Architecture for Demand-Driven e Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 214-228, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(2), pp. 311-333, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Arvind |
Demand-Driven Evaluation on Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 411, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
24 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Using Datalog and Boolean Equation Systems for Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 215-231, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
boolean equation system, demand-driven evaluation, program analysis, Datalog |
24 | Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa |
Complete Removal of Redundant Computations. ![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. 1-14, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization |
24 | Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa |
Complete removal of redundant expressions (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 596-611, 1998, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization |
24 | Chen-Pin Kung, Chun-Jieh Huang, Chen-Shang Lin |
Fast fault simulation for BIST applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 93-99, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
signature computation, BIST applications, combinational fault simulation, BISTSIM, demand-driven logic simulation algorithm, fault propagation methods, bit-array computation, parallel-pattern sequential simulation, speedup ratio, VLSI, VLSI, logic testing, built-in self test, integrated circuit testing, combinational circuits, digital simulation, circuit analysis computing, aliasing, test patterns, MISR |
24 | Jianan Li, Ichiro Suzuki, Masafumi Yamashita |
A New Structural Induction Theorem for Rings of Temporal Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 115-126, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings |
23 | Serguei A. Mokhov |
Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. ![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. 375-382, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Devesh Agrawal, Tamma Bheemarjuna Reddy, C. Siva Ram Murthy |
Robust Demand-Driven Video Multicast over Ad hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 3rd International Conference on Broadband Communications, Networks, and Systems (BROADNETS 2006), 1-5 October 2006, San José, California, USA, 2006, IEEE, 978-1-4244-0425-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Geraldo Robson Mateus, Olga Goussevskaia, Antonio Alfredo Ferreira Loureiro |
Simulating Demand-Driven Server and Service Location in Third Generation Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 1118-1128, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu |
Generating Specialized Rules and Programs for Demand-Driven Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 346-361, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Wei Le, Mary Lou Soffa |
Marple: a demand-driven path-sensitive buffer overflow detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 272-282, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ronald C. Unrau, Michael Stumm, Orran Krieger |
On the Scalability of Demand-Driven Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 69-81, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 109-139, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
LD |
22 | Guillaume Martin |
Contrôle dynamique du Demand Driven Sales and Operations Planning. (Dynamical control for the Demand Driven Sales and Operations Planning). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
22 | Romain Miclo |
Challenging the "Demand Driven MRP" Promises : a Discrete Event Simulation Approach. (Challenger les promesses du "Demand Driven MRP" : une approche basée sur la simulation à évènements discrets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
20 | Sven Rebhan, Andreas Richter, Julian Eggert |
Demand-Driven Visual Information Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, 7th International Conference on Computer Vision Systems, ICVS 2009, Liège, Belgium, October 13-15, 2009, Proceedings, pp. 124-133, 2009, Springer, 978-3-642-04666-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scheduling, memory, attention, scene representation |
20 | Sohei Ikeda, Takakazu Nagamine, Tomio Kamada |
Application framework with demand-driven mashup for selective browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 33-40, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web service, web, web application, mashup, Ajax |
20 | Shen-Tat Goh, Beng Chin Ooi, Kian-Lee Tan |
Demand-Driven Caching in Multiuser Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(1), pp. 112-124, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cache-on-demand, virtual cache, predictive, return on investment |
19 | Philip C. Treleaven |
Control-driven, data-driven and demand-driven computer architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 2(3), pp. 287-288, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | K. Tuncay Tekle, Yanhong A. Liu |
Precise complexity analysis for efficient datalog queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 35-44, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis |
18 | Vineet Kahlon |
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 249-259, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis |
18 | Yijun Huang, Weiguo Wang, Jun Wu, Xue Yan, Rong Liu, Lei Dai, Tian Guo 0004, Honglin Song |
Analyzing Demand Drivers of Enterprise Informatization Based on System Dynamics Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1227-1237, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise informatization, Information system, System dynamic, EIS, Demand driven |
18 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 387-400, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
18 | Rainer Blaser, M. Schnabel, D. Mann, P. Jancke, Klaus Kuhn 0001, Richard Lenz |
Potential prevention of medical errors in casualty surgery by using information technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 285-290, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Failure Mode and Effect Analysis, demand driven system evolution, electronic discharge letters, medical error prevention, structured reporting |
18 | Darren C. Atkinson, William G. Griswold |
The Design of Whole-Program Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 16-27, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
software architecture, compiler, program understanding, program slicing, context-sensitive, interprocedural analysis, demand-driven |
18 | Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana |
On the Complexity of Boolean Functions Computed by Lazy Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(4), pp. 495-502, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Boolean function complexity, demand-driven simulation, Circuit simulation, lazy evaluation, symmetric Boolean functions |
18 | Jong-Deok Choi, Ron Cytron, Jeanne Ferrante |
On the Efficient Engineering of Ambitious Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 105-114, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls |
18 | Goetz Graefe |
Volcano - An Extensible and Parallel Query Evaluation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 120-135, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Volcano, parallel query evaluation system, dataflow query execution system, query processing operators, type-specific methods., novel meta-operators, choose-plan meta-operator, dynamic query evaluation plans, intra-operator parallelism, partitioned datasets, horizontal inter-operator parallelism, demand-driven dataflow, data-driven dataflow, parallel programming, data structures, semantics, query processing, resource allocation, resource allocation, query optimization, extensibility, predicates, data type, support functions, algebra operators, database query processing |
18 | David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman |
Fine-grained Visualization Pipelines and Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 12(5), pp. 973-980, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Pipeline model, functional programming, laziness |
17 | Hongcheng Wang, Andy Guan Hong Chen, Xiaoqi Li 0020, Mingdong Wu, Hao Dong 0003 |
Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08138, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hongcheng Wang, Andy Guan Hong Chen, Xiaoqi Li 0020, Mingdong Wu, Hao Dong 0003 |
Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Huanmei Qin, Fei Zheng, Binhai Yu, Zhongfeng Wang |
Analysis of the Effect of Demand-Driven Dynamic Parking Pricing on on-Street Parking Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 70092-70103, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Sleiman Rita, Kim Phuc Tran, Sébastien Thomassey |
Long Term Demand Forecasting System for Demand Driven Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS (1) ![In: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part I, pp. 13-20, 2021, Springer, 978-3-030-85873-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yu Cui |
The Formation of Demand Chain through the demand-driven platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISNC ![In: Proceedings of the The 3rd Multidisciplinary International Social Networks Conference on SocialInformatics 2016, Data Science 2016, Union, NJ, USA, August 15-17, 2016, pp. 8, 2016, ACM, 978-1-4503-4129-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Keshav Pingali, Arvind |
Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 140-141, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
17 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 484-488, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shaoyin Cheng, Fan Jiang 0005, Jiajie Wang, Tao Zhang, Xuezhi Xing |
DBTG: Demand-Driven Backtracking Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1944-1950, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Rafael del Vado Vírseda |
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 169-184, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Marcelo Zottolo, Edward J. Williams, Onur M. Ülgen |
Simulation implements demand-driven workforce scheduler for service industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 219-225, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Markus Fakler, Stefan Frenz, Michael Schöttner, Peter Schulthess |
A Demand-Driven Approach for a Distributed Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1538-1541, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Jazz: A Tool for Demand-Driven Structural Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 242-245, 2005, Springer, 3-540-25411-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoling Wang, Kun Yue, Joshua Zhexue Huang, Aoying Zhou |
Service Selection in Dynamic Demand-Driven Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 376-383, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Steven Alexander Spoon, Olin Shivers |
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 51-74, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Antonia Albani, Christian Winnewisser, Klaus Turowski |
Dynamic Modelling of Demand Driven Value Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 408-421, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Plachetka |
Perfect Load Balancing for Demand-Driven Parallel Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 410-419, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
parallel ray tracing, process farming, load balancing, cache, distributed database, antialiasing, message complexity |
17 | Tom Way, Ben Breech, Lori L. Pollock |
Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), Philadelphia, Pennsylvania, USA, October 15-19, 2000, pp. 24-36, 2000, IEEE Computer Society, 0-7695-0622-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Yuan Lin, David A. Padua |
Demand-Driven Interprocedural Array Property Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 303-317, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein |
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 257-271, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
FORTRAN 77 |
15 | Daniele Laucelli, Luigi Berardi, Orazio Giustolisi |
Assessing climate change and asset deterioration impacts on water distribution networks: Demand-driven or pressure-driven network modeling? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 37, pp. 206-216, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Paola Adinolfi, Mita Marra, Raffaele Adinolfi |
Business Transformation: from a Supply-Driven to a Demand-Driven Approach in the Experience of Consip SPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCIS ![In: The 5th Mediterranean Conference on Information Systems, MCIS 2010, Tel-Aviv-Yaffo Academic College, Tel Aviv, Israel, September 12-14, 2010, pp. 2, 2010, AISeL, 978-965-555-474-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Edward A. Ashcroft |
Dataflow and Education: Data-driven and Demand-driven Distributed Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Current Trends in Concurrency ![In: Current Trends in Concurrency, Overviews and Tutorials, pp. 1-50, 1986, Springer, 3-540-16488-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Zahran Halim |
Data-driven and demand-driven evaluation of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1984 |
RDF |
|
15 | Bernhard Möller |
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 513-526, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Philip C. Treleaven, David R. Brownbridge, Richard P. Hopkins |
Data-Driven and Demand-Driven Computer Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 14(1), pp. 93-143, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Avgustinov, Torbjörn Ekman 0001, Julian Tibble |
Modularity first: a case for mixing AOP and attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 25-35, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modularity, separation of concerns, extensible compilers |
15 | Dipti Srinivasan, Chen-Khong Tham, Chengyu Wu |
Co-Evolutionary algorithms for evolving buyers' bidding strategies in an electrival power market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 774-781, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Tatiana Levashova, Magnus Lundqvist, Mikhail Pashkin |
Moving Towards Automatic Generation of Information Demand Contexts: An Approach Based on Enterprise Models and Ontology Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 1012-1019, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
information demand, context derivation, context, ontology engineering, enterprise model, ontology management |
12 | Hassnaa Moustafa, Houda Labiod |
Multicast Routing in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 25(1-2), pp. 65-88, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
forwarding group concept, link state prediction, mobile ad hoc networks, energy-conserving, multicast routing, source routing |
12 | Ping Xuan, Subhabrata Sen, Oscar González 0002, Jesús Fernández-Conde, Krithi Ramamritham |
Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 38-48, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Robidoux, Minglun Gong, John Cupitt, Adam Turcotte, Kirk Martinez |
CPU, SMP and GPU implementations of Nohalo level 1, a fast co-convex antialiasing image resampler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 185-195, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GEGL, HLSL, abyss policy, arithmetic branching, co-convex interpolation, fast image resampling, minmod limiter, natural and not-a-knot boundary conditions, nonlinear image filtering, quantitative comparison of image enlargement methods, video upsampling, benchmark, GPU, SMP, antialiasing, zooming, edge enhancement, VIPS |
12 | Mangala Gowri Nanda, Saurabh Sinha |
Accurate Interprocedural Null-Dereference Analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 133-143, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jan Mehler, Friedhelm Meyer auf der Heide |
Power-aware online file allocation in mobile ad hoc networks: [extended abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 347-356, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile ad hoc networks, online algorithms, file allocation, amortized analysis |
12 | Mary Lou Soffa |
Path Sensitive Analysis for Security Flaws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 3, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 484 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|