|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6886 occurrences of 3867 keywords
|
|
|
Results
Found 10563 publication records. Showing 10563 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 107-116, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
54 | Karama Kanoun, Jean-Claude Laprie |
Software Reliability Trend Analyses from Theoretical to Practical Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(9), pp. 740-747, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software reliability trend analyses, software reliability growth characterization, reliability trend analyses, software testing, project management, project manager, software reliability, software validation |
45 | Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr. |
Seesoft-A Tool For Visualizing Line Oriented Software Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(11), pp. 957-968, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Seesoft, line oriented software statistics, software visualization system, ISDN lamps, call forwarding, static analyses, dynamic analyses, high interaction graphics, code tuning, software tools, project management, project management, tool, direct manipulation, configuration management, data visualisation, discovery, development methodologies, version control systems |
44 | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
Variance analyses from invariance analyses. ![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. 211-224, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formal verification, program analysis, termination, liveness, software model checking |
41 | Zhilan Feng, Ulf Dieckmann, Simon A. Levin (eds.) |
Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![DIMACS/AMS, 978-0-8218-3753-5 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. ix-, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
41 | Mike Boots, Masashi Kamo, Akira Sasaki |
The implications of spatial structure within populations to the evolution of parasites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 3-21, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. vii-, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
41 | David L. Smith, Maciej F. Boni, Ramanan Laxminarayan |
Dynamics and control of antibiotic resistance in structured metapopulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 213-237, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Troy Day, Sylvain Gandon |
Insights from Price's equation into evolutionary epidemiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 23-43, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | John K. Kelly |
Evolutionary and dynamic models of infection with internal host structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 67-86, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | |
Editor's Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. xiii-, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
41 | William J. Koppelman, Frederick R. Adler |
Do rhinoviruses follow the neutral theory? The role of cross-immunity in maintaining the diversity of the common cold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 181-192, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Wayne M. Getz, James O. Lloyd-Smith |
Basic methods for modeling the invasion and spread of contagious diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 87-109, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Robert D. Holt, Michael Barfield |
Within-host pathogen dynamics: Some ecological and evolutionary consequences of transients, dispersal mode, and within-host spatial heterogeneity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 45-66, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Michael A. Charleston, Alison P. Galvani |
A cophylogenetic perspective on host-pathogen evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 145-160, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Zhilan Feng, Libin Rong |
The influence of anti-viral drug therapy on the evolution of HIV-1 pathogens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 161-179, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Wayne M. Getz, James O. Lloyd-Smith, Paul C. Cross, Shirli Bar-David, Philip L. F. Johnson, Travis C. Porco, Marís S. Sánchez |
Modeling the invasion and spread of contagious diseases in heterogeneous populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 113-144, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Alun L. Lloyd, Dominik Wodarz |
Drug resistance in acute viral infections: Rhinovirus as a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Disease Evolution: Models, Concepts, and Data Analyses ![In: Disease Evolution: Models, Concepts, and Data Analyses, Proceedings of a DIMACS Workshop, pp. 193-212, 2006, DIMACS/AMS, 978-0-8218-3753-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Tobias Gedell, Daniel Hedin |
Abstract Interpretation Plugins for Type Systems. ![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. 184-198, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Bidirectional data-flow analyses, type-systematically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 141-150, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics |
40 | Daniel von Dincklage, Amer Diwan |
Explaining failures of program analyses. ![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. 260-269, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
analyses, reasons |
39 | Sabine Glesner, Wolf Zimmermann |
Natural semantics as a static program analysis framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 510-577, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics |
34 | Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel |
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 51-52, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank |
Integrating and Scheduling an Open Set of Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 113-122, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Sorin Lerner, David Grove, Craig Chambers |
Composing dataflow analyses and transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 270-282, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Jens Palsberg |
Comparing Flow-Based Binding-Time Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 561-574, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Guoqing Xu 0001, Atanas Rountev |
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. ![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. 36-47, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AspectJ, dataflow analysis, interprocedural analysis |
32 | Terry Joyce, Maki Miyake |
Capturing the Structures in Association Knowledge: Application of Network Analyses to Large-Scale Databases of Japanese Word Associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LKR ![In: Large-Scale Knowledge Resources. Construction and Application, Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008, Proceedings, pp. 116-131, 2008, Springer, 978-3-540-78158-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
association knowledge, lexical knowledge, network analyses, large-scale databases of Japanese word associations, Associative Concept Dictionary (ACL), Japanese Word Association Database (JWAD), association network representations, Markov clustering (MCL), recurrent Markov clustering (RMCL), modularity, graph clustering |
32 | Jürgen Münch, Dietmar Pfahl, Ioana Rus |
Virtual Software Engineering Laboratories in Support of Trade-off Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 13(4), pp. 407-428, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software engineering laboratories, trade-off-analyses, decision support, software process modeling, software process simulation |
30 | Dominik Domis, Mario Trapp |
Integrating Safety Analyses and Component-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 58-71, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kyungwoo Lee, Xing Fang, Samuel P. Midkiff |
Practical escape analyses: how good are they? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007, pp. 180-190, 2007, ACM, 978-1-59593-630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analysis precision, Java, dynamic compilation, escape analysis |
30 | Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard |
Modular Pluggable Analyses for Data Structure Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(12), pp. 988-1005, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design |
30 | Susan Pancho-Festin, Dieter Gollmann |
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 5-15, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Hong Oh Kim, Rae Young Kim, Jae Kun Lim |
Quasi-Biorthogonal Frame Multiresolution Analyses and Wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 18(2-4), pp. 269-296, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
wavelets, frames, multiresolution analysis, shift-invariant spaces |
30 | D. V. Ravindra |
Using Locality of Flow in Dataflow Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 141-158, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Atanas Rountev, Barbara G. Ryder |
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 20-36, 2001, Springer, 3-540-41861-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Donglin Liang, Mary Jean Harrold |
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 39-46, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis, alias analysis |
30 | Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers |
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 19-38, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Prahladavaradan Sampath, Shrawan Kumar |
Composing Context Sensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 186-195, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Tobias Nowack, Stefan Lutherdt, Manuel Möller, Peter Kurtz, Hartmut Witte |
Improvement of the Design Quality of 3D-Input Devices Using Motion Analyses and Biomechanical Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 276-285, 2009, Springer, 978-3-642-02730-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
3D-input, evaluation software, reachable space of motion, ergonomically motivated equipment, motion analyses of input tasks, User-centred design |
28 | Stefan Lutherdt, Carsten Stiller, Katrin Lienert, Sabine Spittel, Fred Roß, Christoph Ament, Hartmut Witte |
Design of an Assistance System for Elderly Based on Analyses of Needs and Acceptance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I, pp. 96-105, 2009, Springer, 978-3-642-02706-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
assistance system for elderly, requirement analyses, user and service profiles, changing demography, information gathering, individualization |
28 | Takayuki Fujimoto, Muhammad Dzulqarnain bin Muhammad Nasir, Tokuro Matsuo |
A Design on Collaborative-Cooperative Document Edit System Based on Cognitive Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 661-666, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Collaborative-Cooperative, Document Edit System, Cognitive Analyses, Collaboration ware |
28 | Jinge Wang 0001, Qiang Wang, Qian Yu |
Numeric-Symbolic Solutions to Analyses of Forward Position and Singularity Configuration for 3-RPS Parallel Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 993-1002, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
forward position analyses, maneuverability, singularity configuration, Groebner base, parallel mechanism |
28 | Ken Kennedy, Nenad Nedeljkovic |
Combining dependence and data-flow analyses to optimize communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 340-346, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages |
26 | Ando Saabas, Tarmo Uustalu |
Proof optimization for partial redundancy elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 91-101, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination |
26 | Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao |
Heap Analysis and Optimizations for Threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 14-25, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis |
26 | Claudio Truzzi, Eric Beyne, Edwin Ringoot, J. Peeters |
Signal propagation in high-speed MCM circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 12-17, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
thin film circuits, signal propagation, high-speed MCM circuits, thin-film multichip module substrate, timing analyses, lossy interconnection lines, timing, circuit analysis computing, circuit simulations, CMOS integrated circuits, CMOS integrated circuits, multichip modules, receivers, drivers, microsystems, substrates |
26 | William W. Agresti, William M. Evanco |
Projecting Software Defects From Analyzing Ada Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(11), pp. 988-997, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
software defects projection, context coupling, Ada designs, process characteristics, import-export of declarations, reuse level, regression analyses, Ada, static analysis, software quality, software quality, software metrics, software reliability, statistical analysis, visibility, defect density |
26 | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. ![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. 13-24, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic analysis, context sensitivity, bug detection |
26 | Martin Bravenboer, Yannis Smaragdakis |
Strictly declarative specification of sophisticated points-to analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 243-262, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DOOP, datalog, bdds, points-to analysis, declarative |
26 | Athos Antoniades, L. Loizou, Aristos Aristodimou, Constantinos S. Pattichis |
A binary format for genetic data designed for large whole genome studies that enable both marker and strand based analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-4, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
Automatic Incrementalization of Prolog Based Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 109-123, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Sam Kamin, Baris Aktemur, Michael Katelman |
Staging static analyses for program generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 1-10, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, program generation, staging, run-time code generation |
26 | Megan Conklin, James Howison, Kevin Crowston |
Collaboration using OSSmole: a repository of FLOSS data and analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
project metrics, source control, data mining, open source software, data analysis, free software, data repository, libre software, defect tracking |
26 | Heejin Park, Sang-Kil Park, Ki-Ryong Kwon, Dong Kyue Kim |
Probabilistic Analyses on Finding Optimal Combinations of Primality Tests in Real Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings, pp. 74-84, 2005, Springer, 3-540-25584-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | David C. Shepherd, Jeffrey Palm, Lori L. Pollock, Mark Chu-Carroll |
Timna: a framework for automatically combining aspect mining analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 184-193, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
machine learning, reverse engineering, program analysis, aspect mining |
26 | Megan Conklin, James Howison, Kevin Crowston |
Collaboration using OSSmole: a repository of FLOSS data and analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 2005 International Workshop on Mining Software Repositories, MSR 2005, Saint Louis, Missouri, USA, May 17, 2005, 2005, ACM, 1-59593-123-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
project metrics, source control, data mining, open source software, data analysis, free software, data repository, libre software, defect tracking |
26 | Clara Segura, Ricardo Pena |
Correctness of Non-determinism Analyses in a Parallel-Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 69-85, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Bostjan Brumen, Tatjana Welzer, Marjan Druzovec, Izidor Golob, Hannu Jaakkola |
Protecting Medical Data for Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 4-7 June 2002, Maribor, Slovenia, pp. 102-, 2002, IEEE Computer Society, 0-7695-1614-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Seth Hallem, Benjamin Chelf, Yichen Xie 0001, Dawson R. Engler |
A System and Language for Building System-Specific, Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 69-82, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
error detection, extensible compilation |
26 | Robert Muth, Saumya K. Debray |
On the Complexity of Flow-Sensitive Dataflow Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 67-80, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Paolo Tonella |
Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 3-5 March 1999, Amsterdam, The Netherlands, pp. 62-71, 1999, IEEE Computer Society, 0-7695-0090-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Frank McSherry, Ratul Mahajan |
Differentially-private network trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2010 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, New Delhi, India, August 30 -September 3, 2010, pp. 123-134, 2010, ACM, 978-1-4503-0201-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
trace analysis, differential privacy |
25 | Daniel Grund, Jan Reineke 0001 |
Abstract Interpretation of FIFO Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 120-136, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FIFO Replacement, Domain Cooperation, May/Must Reasoning, Cache Analysis |
25 | Florian Martin 0001 |
PAG - An Efficient Program Analyzer Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(1), pp. 46-67, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction |
22 | Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst |
Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 107-116, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
performance analyses, application tuning, scalability |
22 | Kaj Helin, Juhani Viitaniemi, Jari Montonen, Susanna Aromaa, Timo Määttä |
Digital Human Model Based Participatory Design Method to Improve Work Tasks and Workplaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 847-855, 2007, Springer, 978-3-540-73318-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Computer aided ergonomics, ergonomic analyses, participatory design, motion analysis, digital human model, posture, workplace design |
22 | Gabriel Ripoche, Jean-Paul Sansonnet |
Experiences in Automating the Analysis of Linguistic Interactions for the Study of Distributed Collectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 15(2-3), pp. 149-183, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed software problem management, large-scale automated analyses, interaction modeling, speech acts, computational tools |
22 | Bradley R. Schmerl, David Garlan, Hong Yan 0002 |
Dynamically discovering architectures with DiscoTect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 103-106, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
architecture design tools and analyses, architecture discovery, reverse engineering |
22 | Bhaskaran Raman, Randy H. Katz, Anthony D. Joseph |
Universal Inbox: providing extensible personal mobility and service mobility in an integrated communication network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2000), 7-8 December 2000, Monterey, CA, USA, pp. 95-, 2000, IEEE Computer Society, 0-7695-0816-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Universal Inbox, extensible personal mobility, extensible service mobility, integrated communication network, end-devices, integrated service architecture, heterogeneous end-points, generic data type transformation, customizable communication redirection, user preference profiles, device name mapping, device name translation, reusable infrastructure components, GSM cellular phones, instant messaging service, performance analyses, user base, mobile computing, scalability, mobile communication, personal computing, electronic mail, voice-over-IP, telecommunication networks, Internet services, access networks, test-bed, telecommunication services, personal communication networks, voice-mail |
22 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 114-136, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
22 | Alfred Inselberg |
Multidimensional detective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 1997 IEEE Symposium on Information Visualization (InfoVis '97), October 18-25, 1997, Phoenix, AZ, USA, pp. 100-107, 1997, IEEE Computer Society, 0-8186-8189-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multidimensional detective, multivariate dataset display, 2D pattern recognition problem, modeling relations, economic sectors, economic policies, trade-off analyses, approximate optimization, monitoring, knowledge discovery, decision support, data visualisation, competition, visual data mining, parallel coordinates, economic model, VLSI chip |
22 | Andrew D. Bagdanov, Junichi Kanai |
Projection profile based skew estimation algorithm for JBIG compressed images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 401-406, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
projection profile based skew estimation algorithm, fiducial point extraction, skew angle estimation, JBIG compressed image decoding, page images, single column test zones, linear regression analyses, decoding |
22 | Deng-Jyi Chen, Ming-Sang Chang, C. I. Yang, Kuo-Lung Ku |
Multimedia task reliability analysis based on token ring network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 265-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multimedia task reliability analysis, reliability analyses, multimedia task reliability, time-constraint multimedia task reliability, multimedia systems, polynomial-time algorithms, reliability models, distributed multimedia system, token networks, token ring network |
22 | Ryouei Takahashi, Yukihiro Nakamura |
The effect of interface complexity on program error density. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 77-86, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interface complexity, program error density, modified parts, unmodified parts, interfaced complexities, functionally related routines, discriminant analyses, reuse-ratio, optimal threshold, extended cyclomatic number, error density, software maintenance, regression analysis, subsystems, software maintainability, software errors, C-coding, software quality classification, AIC |
22 | Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson |
Reliability analysis of CSP specifications using Petri nets and Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 516-524, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs |
22 | Kim Lowell, Geoffrey Edwards, Kim H. Esbensen |
Towards a more human (re)design of digital spatial technologies with emphasis on an uncertainty-based cartographic representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 123-130, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
human redesign, digital spatial technologies, uncertainty-based cartographic representation, technology development, remote sensing technique, spatial data handling, continual human participation, human analyses, geographic information systems, human factors, remote sensing, cartography, uncertainty handling, spatial data structures, data handling, decision-making process, spatial information systems, spatial data representation |
22 | Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo |
Bylands: reverse engineering safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 358-366, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints |
22 | Sakti P. Ghosh |
Numerical Operations on a Relational Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 600-610, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Codd, numerical operations, statistical analyses, bivariate frequency table, bivariate statistical operations, bivariate relational data structures, real-time automatic statistical quality control, category-numeric operations, relational database, relational databases, statistical analysis, database theory, relational algebra, manufacturing process, relational tables |
22 | Edward P. Lyvers, Owen Robert Mitchell, Mark L. Akey, Anthony P. Reeves |
Subpixel Measurements Using a Moment-Based Edge Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(12), pp. 1293-1309, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
subpixel measurements, edge location, moment-based edge operator, two-dimensional spatial moments, deterministic errors, edge orientation, imaged machined metal parts, noise analyses, pattern recognition, computer vision, picture processing, computerised picture processing, computerised pattern recognition, digitized images, table lookup, lookup table |
22 | Lobna Karoui, Marie-Aude Aufaure, Nacéra Bennacer |
Analyses and Fundamental ideas for a Relation Extraction Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 880-887, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Lingzhi Luo, Srinivas Akella |
Optimal scheduling of biochemical analyses on digital microfluidic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3151-3157, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Bastian Schlich, Jann Löll, Stefan Kowalewski |
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 21-37, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001 |
Application of Safety Analyses in Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 93-104, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Miryung Kim, David Notkin |
Program element matching for multi-version program analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 2006 International Workshop on Mining Software Repositories, MSR 2006, Shanghai, China, May 22-23, 2006, pp. 58-64, 2006, ACM, 1-59593-397-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-version analysis, software evolution, matching |
22 | Nguyen-Xuan Thinh, Martin Behnisch, Alfred Ultsch |
Examination of Several Results of Different Cluster Analyses with a Separate View to Balancing the Economic and Ecological Performance Potential of Towns and Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Advances in Data Analysis, Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006, pp. 289-296, 2006, Springer, 978-3-540-70980-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Sankar P. Debnath, Sukumar Jairam, H. Udayakumar |
A Methodology for Fast Vector Based Power Supply and Substrate Noise Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 808-811, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jean Schoentgen, E. Dessalle, Abdellah Kacha, Francis Grenez |
Issues in Clinical Applications of Bilateral Multi-step Predictive Analysis of Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOLISP ![In: Nonlinear Analyses and Algorithms for Speech Processing, International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers, pp. 196-205, 2005, Springer, 3-540-31257-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Colleen Cunningham, Il-Yeol Song, Peter P. Chen |
Data warehouse design to support customer relationship management analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2004, ACM Seventh International Workshop on Data Warehousing and OLAP, Washington, DC, USA, November 12-13, 2004, Proceedings, pp. 14-22, 2004, ACM, 1-58113-977-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
data warehouse, customer relationship management |
22 | Fausto Spoto, Thomas P. Jensen |
Class analyses as abstract interpretations of trace semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(5), pp. 578-630, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Abstract interpretation, denotational semantics, class analysis |
22 | Frédéric Prost |
A formalization of Static Analyses in System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 252-266, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Rohini Gupta, Seok-Yoon Kim, Lawrence T. Pileggi |
Domain characterization of transmission line models and analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(2), pp. 184-193, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Maurice Bruynooghe, Michael Codish, Anne Mulkers |
Abstracting Unification: A Key Step in the Design of Logic Program Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Science Today ![In: Computer Science Today: Recent Trends and Developments, pp. 406-425, 1995, Springer, 3-540-60105-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Michael Codish, Moreno Falaschi, Kim Marriott |
Suspension Analyses for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 649-686, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, concurrent logic programming |
22 | Philippe Granger |
Improving the Results of Static Analyses Programs by Local Decreasing Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 68-79, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Cormac Flanagan, Stephen N. Freund |
The RoadRunner dynamic analysis framework for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 1-8, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis |
20 | Ondrej Lhoták, Laurie J. Hendren |
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 18(1), pp. 3:1-3:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction |
20 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 363-377, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ian Toyn, Andy Galloway |
Formal Validation of Hierarchical State Machines against Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia, pp. 181-190, 2007, IEEE Computer Society, 0-7695-2778-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 10563 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|