|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 666 occurrences of 516 keywords
|
|
|
Results
Found 886 publication records. Showing 886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
6 | Orla Greevy, Stéphane Ducasse |
Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 314-323, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature |
6 | Massimiliano Di Penta |
Evolution Doctor: A Framework to Control Software System Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 280-283, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Software Renovation, Clustering, Software Evolution |
6 | Aleksandar Kuzmanovic |
The power of explicit congestion notification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, August 22-26, 2005, pp. 61-72, 2005, ACM, 1-59593-009-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
congestion control, active queue management, explicit congestion notification |
6 | Jianming Ye, Joseph P. Loyall, Richard E. Schantz, Gary Duzan |
Detection and Reaction to Unplanned Operational Events in Large Scale Distributed Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Franck van Breugel, Mariya Koshkina |
Dead-Path-Elimination in BPEL4WS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pp. 192-201, 2005, IEEE Computer Society, 0-7695-2363-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 342-363, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Woochun Jun, Sung-Keun Cho |
A Web-Based Information Communication Ethics Education System for the Gifted Elementary School Students in Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 688-693, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Guang Chen 0003, Honggang Zhang 0002, Jun Guo 0002 |
Feature Extraction for Handwritten Chinese Character by Weighted Dynamic Mesh Based on Nonlinear Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR (1) ![In: Pattern Recognition and Data Mining, Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part I, pp. 560-568, 2005, Springer, 3-540-28757-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | John A. Bullinaria |
Evolved Age Dependent Plasticity Improves Neural Network Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 6.9 November 2005, Rio de Janeiro, Brazil, pp. 79-86, 2005, IEEE Computer Society, 0-7695-2457-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Wenliang Xiong, Harpreet Bajwa, Frank Maurer |
WIT: A Framework for In-container Testing of Web-Portal Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings, pp. 87-97, 2005, Springer, 3-540-27996-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Peng Zhao, José Nelson Amaral |
Function Outlining and Partial Inlining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 24-27 October 2005, Rio de Janeiro, Brazil, pp. 101-108, 2005, IEEE Computer Society, 0-7695-2446-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang |
Re-engineering software architecture of home service robots: a case study. ![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. 505-513, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reactive systems, robot programming, software re-engineering |
6 | Dennis Walter, Lutz Schröder, Till Mossakowski |
Parametrized Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 424-438, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri |
Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 215-222, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Domain Modeling, Requirements elicitation |
6 | Sébastien Mahler, Denis Robilliard, Cyril Fonlupt |
Tarpeian Bloat Control and Generalization Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 8th European Conference, EuroGP2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings, pp. 203-214, 2005, Springer, 3-540-25436-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Anne Marchant, Bill Tulloh |
Using pre-release software to SPUR student learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 143-148, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SPUR, security, IT education, software evaluation |
6 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 115-132, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Yi Yin, Raghuvel S. Bhuvaneswaran, Yoshiaki Katayama, Naohisa Takahashi |
Implementation of Packet Filter Configurations Anomaly Detection System with SIERRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings, pp. 467-480, 2005, Springer, 3-540-30934-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Network security, anomaly detection, filter, configuration, Packet filtering |
6 | Alexander J. Macdonald, David F. Brailsford, Steven R. Bagley |
Encapsulating and manipulating component object graphics (COGs) using SVG. ![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. 61-63, 2005, ACM, 1-59593-240-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
component object graphics, XML, SVG, parameterization, PDF |
6 | Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
A Strategy for the Formal Composition of Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 404-413, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Marina Biberstein, Vugranam C. Sreedhar, Bilha Mendelson, Daniel Citron, Alberto Giammaria |
Instrumenting annotated programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 164-174, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
custom attributes, meta-annotation, annotation, program instrumentation |
6 | Andrei Petrovski 0001, Bhavani Sudha, John A. W. McCall |
Optimising Cancer Chemotherapy Using Particle Swarm Optimisation and Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 633-641, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer |
OCL and Model Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 67-75, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Emmanuel D. Pontikakis, Yannis Theodoridis, Achilleas A. Tsitsonis, LiWu Chang, Vassilios S. Verykios |
A quantitative and qualitative ANALYSIS of blocking in association rule hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society, WPES 2004, Washington, DC, USA, October 28, 2004, pp. 29-30, 2004, ACM, 1-58113-968-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
association rules hiding, blocking technique, data mining, privacy |
6 | Helen J. Wang, Chuanxiong Guo, Daniel R. Simon, Alf Zugenmaier |
Shield: vulnerability-driven network filters for preventing known vulnerability exploits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30 - September 3, 2004, Portland, Oregon, USA, pp. 193-204, 2004, ACM, 1-58113-862-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
generic protocol analyzer, network filter, vulnerability signature, worm defense, patching |
6 | Xiangrong Wang, Jun Xu, Christopher H. Pham |
An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 329-339, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 29-34, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
6 | Stephen-John Craig, Michael Leuschel |
LIX: an Effective Self-applicable Partial Evaluator for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 85-99, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application |
6 | Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu |
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 165-180, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Woonseok Kim, Jihong Kim 0001, Sang Lyul Min |
Preemption-aware dynamic voltage scaling in hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 393-398, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, dynamic voltage scaling, low-power systems |
6 | Luigi Liquori, Bernard P. Serpette |
iRho: an imperative rewriting calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 167-178, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics |
6 | Scott M. Pike, Paolo A. G. Sivilotti |
Dining Philosophers with Crash Locality 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 22-29, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Jack B. Homer, Bobby Milstein |
Optimal Decision Making in a Dynamic Model of Community Health. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Oscar R. Hernandez, Chunhua Liao, Barbara M. Chapman |
Dragon: A Static and Dynamic Tool for OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: Shared Memory Parallel Programming with OpenMP, 5th International Workshopon OpenMP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004,Revised Selected Papers, pp. 53-66, 2004, Springer, 3-540-24560-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
A New HTN Planning Framework for Agents in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers, pp. 108-133, 2004, Springer, 3-540-24010-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons |
Amorphous Procedure Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 85-94, 2004, IEEE Computer Society, 0-7695-2144-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | K. V. Seshu Kumar |
Value reuse optimization: reuse of evaluated math library function calls through compiler generated cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 38(8), pp. 60-66, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Function Cache, Function reuse, Compilers Optimization, Instruction reuse |
6 | Klaus Ruth |
Industrial culture and the innovation of innovation: enginology or socioneering? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 17(3-4), pp. 225-240, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Industrial culture, Manufacturing culture, Reflexive modernity, Innovation of innovation |
6 | Nick Feamster, Hari Balakrishnan |
Towards a logic for wide-area Internet routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 33(4), pp. 289-300, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Stefan Pleisch, André Schiper |
Fault-Tolerant Mobile Agent Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(2), pp. 209-222, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem |
6 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Imperative Object-Based Calculi in Co-inductive Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 59-77, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Ioannis Papaefstathiou |
Titan II : An IPComp Processor for 10Gbit/sec networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2003 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2003), New Trends and Technologies for VLSI Systems Design, 20-21 February 2003, Tampa, FL, USA, pp. 234-235, 2003, IEEE Computer Society, 0-7695-1904-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Paulo S. L. M. Barreto, Ben Lynn, Michael Scott |
On the Selection of Pairing-Friendly Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003, Revised Papers, pp. 17-25, 2003, Springer, 3-540-21370-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
group generators, elliptic curves, Tate pairing, pairing-based cryptosystems |
6 | Ingemar Dahlstrand |
The Early Nordic Software Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing, IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway, pp. 239-249, 2003, Springer, 0-387-24167-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Algol 60, Nordic historical efforts, compilers, Software |
6 | Tiehan Lv, Jörg Henkel, Haris Lekatsas, Wayne H. Wolf |
Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10542-10549, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Anne Brüggemann-Klein, Rolf Klein, Stefan Wohlfeil |
On the Pagination of Complex Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Science in Perspective ![In: Computer Science in Perspective, Essays Dedicated to Thomas Ottmann, pp. 49-68, 2003, Springer, 3-540-00579-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Eugenio Moggi, Sonia Fagorzi |
A Monadic Multi-stage Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 358-374, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
Continutation Semantics for Parallel Haskell Dialects. ![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. 303-321, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Hiroo Ishikawa, Tatsuo Nakajima |
A Case Study on a Component-Based System and Its Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 198-210, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool |
Partial Redundancy Elimination with Predication Techniques. ![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. 242-250, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001 |
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. ![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. 694-703, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Brad Long, Benjamin W. Long |
Formal Specification of Java Concurrency to Assist Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 136, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani |
Stride prefetching by dynamically inspecting objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 269-277, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java just-in-time compiler, object inspection, stride prefetching |
6 | Claudia Golembiewski, Marit Hansen, Sandra Steinbrecher |
Experiences Running a Web Anonymising Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 14th International Workshop on Database and Expert Systems Applications (DEXA'03), September 1-5, 2003, Prague, Czech Republic, pp. 482-486, 2003, IEEE Computer Society, 0-7695-1993-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Anasua Bhowmik, Manoj Franklin |
A fast approximate interprocedural analysis for speculative multithreading compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 32-41, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
pointer analysis, thread-level parallelism (TLP), interprocedural analysis, speculative multithreading (SpMT) |
6 | Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan |
Impact Analysis and Change Management of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 256-265, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | YongHoon Yi, MyongJae Kim, YoungLok Lee, HyungHyo Lee, BongNam Noh |
Applying RBAC Providing Restricted Permission Inheritance to a Corporate Web Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 287-292, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Philip R. Cohen, C. Raymond Perrault |
Elements of a Plan-Based Theory of Speech Acts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communication in Multiagent Systems ![In: Communication in Multiagent Systems, Agent Communication Languages and Conversation Policies., pp. 1-36, 2003, Springer, 3-540-40385-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | James Abello, Adam L. Buchsbaum, Jeffery R. Westbrook |
A Functional Approach to External Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 32(3), pp. 437-458, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Functional programming, Graph algorithms, Minimum spanning trees, Connected components, External memory algorithms, Maximal independent sets, Maximal matchings |
6 | Jean-Claude Royer |
An Operational Approach to the Semantics of Classes: Application to Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 28(3), pp. 127-147, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Holk Cruse |
The functional sense of central oscillations in walking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 86(4), pp. 271-280, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa |
Supporting objects in run-time bytecode specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 50-60, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, specialization, object-oriented paradigm |
6 | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
Alias annotations for program understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 311-330, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness |
6 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Capturing Parallel Attacks within the Data Independence Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 147-159, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Howard Barnum, Claude Crépeau, Daniel Gottesman, Adam D. Smith, Alain Tapp |
Authentication of Quantum Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 449-458, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Authentication, quantum information |
6 | Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Verification for Java's Reentrant Multithreading Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 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. 5-20, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Alessandro Bianchi, Danilo Caivano, Giuseppe Visaggio |
Quality Models Reuse: Experimentation on Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 535-540, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Peter Buneman, Sanjeev Khanna, Wang Chiew Tan |
On Propagation of Deletions and Annotations Through Views. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA, pp. 150-158, 2002, ACM, 1-58113-507-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Naoki Kobayashi 0001 |
Type Systems for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 439-453, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Jacob Zimmermann, Ludovic Mé, Christophe Bidan |
Introducing Reference Flow Control for Detecting Intrusion Symptoms at the OS Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings, pp. 292-306, 2002, Springer, 3-540-00020-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Horst F. Wedde, Arnim Wedig |
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 127-141, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | James E. Tomayko |
Managing Evolving Requirements Using eXtreme Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft-Ware ![In: Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings, pp. 315-331, 2002, Springer, 3-540-43481-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Jorma Sajaniemi |
View Definitions for Language-Independent Multiple-View Program Comprehension and Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Proceedings of the 1st International Workshop on Visualizing Software for Understanding and Analysis, VISSOFT 2002, Paris, France, June 26, 2002, pp. 3-12, 2002, IEEE Computer Society, 0-7695-1662-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Shin-ichi Hanaki, Suriyon Tansuriyavong, Masayoshi Endo |
Experiences in VILLA: a mixed reality space to support group activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVE ![In: Proceedings of the 4th International Conference on Collaborative Virtual Environments 2002, Bonn, Germany, September 30 - October 02, 2002, pp. 155-156, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
virtual place, CSCW, groupware, awareness, mixed reality |
6 | Azzedine Boukerche, Pattabiraman Vikram |
A Dynamic Bandwidth Management Scheme for Wireless Multimedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings, pp. 837-844, 2002, IEEE Computer Society, 0-7695-1591-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Jeffrey T. Oplinger, Monica S. Lam |
Enhancing software reliability with speculative threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, USA, October 5-9, 2002., pp. 184-196, 2002, ACM Press, 1-58113-574-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Svend Frølund, Rachid Guerraoui |
X-Ability: a theory of replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 14(4), pp. 231-249, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems |
6 | Xudong Jiang 0001 |
A study of fingerprint image filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 238-241, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Michael Ochs, Dietmar Pfahl, Gunther Chrobok-Diening, Beate Nothhelfer-Kolb |
A Method for Efficient Measurement-based COTS Assessment and Selection -Method Description and Evaluation Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 7th IEEE International Software Metrics Symposium (METRICS 2001), 4-6 April 2001, London, England, UK, pp. 285-, 2001, IEEE Computer Society, 0-7695-1043-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut |
An Action Semantics for MML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 2-18, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Jordan Dimitrov |
Operational Semantics for Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 161-168, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | John W. Byers, Gu-In Kwon |
STAIR: Practical AIMD Multirate Multicast Congestion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networked Group Communication ![In: Networked Group Communication, Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001, Proceedings, pp. 100-112, 2001, Springer, 3-540-42824-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Thomas Hinze, Uwe Hatnik, Monika Sturm 0002 |
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers, pp. 1-13, 2001, Springer, 3-540-43775-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Ron Sher, Yariv Aridor, Opher Etzion |
Mobile Transactional Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 73-80, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Victoria Ungureanu |
A Regulated Approach to Certificate Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA, pp. 377-385, 2001, IEEE Computer Society, 0-7695-1405-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Leonard Leibovici, Michal Fishman, Henrik C. Schønheyder, Christian Riekehr, Brian Kristensen, Ilana Shraga, Steen Andreassen |
A Causal Probabilistic Network for Optimal Treatment of Bacterial Infections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(4), pp. 517-528, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Causal probabilistic networks, bacterial infections, bacteremia, antibiotic treatment, cost-effectiveness |
6 | Reinhard von Hanxleden, Ken Kennedy |
A balanced code placement framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(5), pp. 816-860, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Tarjan intervals, data-flow analysis, high performance Fortran, latency hiding, partial redundancy elimination, Fortran D |
6 | Gilles Barthe, Bernard P. Serpette |
Static Reduction Analysis for Imperative Object Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 344-361, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Yusuke Nakamura |
Human genome analysis and medicine in the 21st century (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000, pp. 221-222, 2000, ACM, 1-58113-186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Alessandro Bianchi, Giuseppe Visaggio, Anna Rita Fasolino |
An Exploratory Case Study of the Maintenance Effectiveness of Traceability Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 8th International Workshop on Program Comprehension (IWPC 2000), 10-11 June 2000, Limerick, Ireland, pp. 149-158, 2000, IEEE Computer Society, 0-7695-0656-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
maintenance efficiency, object-oriented, traceability, impact analysis |
6 | John F. Roddick, Michael Schrefl |
Towards an Accommodation of Delay in Temporal Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Database Conference ![In: Australasian Database Conference, ADC 2000, Canberra, Australia, January 31 - February 3, 2000, pp. 115-119, 2000, IEEE Computer Society, 0-7695-0528-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar |
ABCD: eliminating array bounds checks on demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 321-333, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | M. Michael Shabot, Mark LoBue, Jeannie Chen |
Wireless Clinical Alerts for Critical Medication, Laboratory and Physiologic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube |
Formal Verification for Microprocessors with Extendable Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA, pp. 47-55, 2000, IEEE Computer Society, 0-7695-0716-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
reconfigurable processor architecture, abstraction techniques, formal verification, pipeline processor |
6 | Zhengyuan Daniel Xu |
Projection-Based Multiuser Receiver over Frequency Selective Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2000 International Symposium on Information Technology (ITCC 2000), 27-29 March 2000, Las Vegas, NV, USA, pp. 92-97, 2000, IEEE Computer Society, 0-7695-0540-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Marieke Huisman, Bart Jacobs 0001 |
Java Program Verification via a Hoare Logic with Abrupt Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 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. 284-303, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov |
A Development Environment for Complex Distributed Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(1), pp. 50-74, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL |
6 | Wamberto Weber Vasconcelos |
A Flexible Framework for Dynamic and Static Slicing of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 259-274, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Logic program slicing, program analysis & understanding |
6 | Ilya Lipkind, Igor Pechtchanski, Vijay Karamcheti |
Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 447-460, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, Java, views, distributed objects, collaborative applications, object representation, shared objects, object caching |
6 | Gonzalo Navarro 0001, Ricardo A. Baeza-Yates |
Fast Multi-dimensional Approximate Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999, Proceedings, pp. 243-257, 1999, Springer, 3-540-66278-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #800 of 886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|