Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | John Viega, J. T. Bloch, Tadayoshi Kohno, Gary McGraw |
Token-based scanning of source code for security problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 5(3), pp. 238-261, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Buffer overflows, security analysis, race conditions |
11 | Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen |
Circuit simplification for the symbolic analysis of analogintegrated circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(4), pp. 395-407, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus |
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(7), pp. 625-637, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
effort analysis, Software tools, version control system |
11 | Anneliese Amschler Andrews, Chunhui Zhu, Michael Scheetz, Eric Dahlman, Adele E. Howe |
AI Planner Assisted Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 10(3), pp. 225-259, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
high level test objectives, system test, AI planning |
11 | Kimio Kuramitsu, Ken Sakamura |
Electronic Tickets on Contactless Smartcard Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 392-402, 2002, Springer, 3-540-44126-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Shian-Hua Lin, Jan-Ming Ho |
Discovering informative content blocks from Web documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada, pp. 588-593, 2002, ACM, 1-58113-567-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
informative content discovery, information retrieval, information extraction, entropy |
11 | Barry Redmond, Vinny Cahill |
Supporting Unanticipated Dynamic Adaptation of Application Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 205-230, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Hai Jiang 0003, Vipin Chaudhary |
MigThread: Thread Migration in DSM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 20-23 August 2002, Vancouver, BC, Canada, pp. 581-588, 2002, IEEE Computer Society, 0-7695-1680-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
adaptive parallel computing, compile-time code transformations, thread scheduling, thread migration, Software Distributed Shared Memory |
11 | Dávid Bálya, Csaba Rekeczky, Tamás Roska |
A realistic mammalian retinal model implemented on complex cell CNN universal machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 161-164, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Paul V. Gestwicki, Bharat Jayaraman |
Interactive Visualization of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 226-235, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Teruaki Ito |
Route Planning Wizard: Basic Concept and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 547-556, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Erdal Kemikli, Nadia Erdogan |
Augmenting Object Persistency Paradigm for Faster Server Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002, Proceedings, pp. 327-335, 2002, Springer, 3-540-00009-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | L. Peter Deutsch |
Engineering broad-spectrum document software: lessons from ghostscript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 1, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Georgios Karberis, Georgios Kouroupetroglou |
Transforming Spontaneous Telegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 155-166, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González |
How to Use GNAT to Efficiently Preprocess New Ada Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 179-192, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Yinyi Lin, Y. J. Wang, T. H. Fan |
Compaction of ordered dithered images with arithmetic coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 10(5), pp. 797-802, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Anima Gupta, Paul Tarau |
Logic Programming Techniques for Dynamic VRML Web Content Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 93-107, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures |
11 | Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo |
Efficient Negation Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 485-494, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming |
11 | Yih-Chih Chou, Youn-Long Lin |
A 3-step approach for performance-driven whole-chip routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan, pp. 187-191, 2001, ACM, 0-7803-6634-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Hong Wang, Guangzhou Zeng, Shouxun Lin |
A Strong Migration Method of Mobile Agents Based on Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada, pp. 313-318, 2001, IEEE, 0660184931. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | M. Oliver Möller, Rajeev Alur |
Heuristics for Hierarchical Partitioning with Application to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 71-85, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Wanlei Zhou 0001, Li Wang 0004 |
Automating the Construction of Replicated Objects in a Cluster of Workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 634-639, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Radu Dogaru, Pedro Julián, Leon O. Chua |
A robust and efficient universal CNN cell circuit using simplicial neuro-fuzzy inferences for fast image processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 493-496, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Bin Lee, Jia-yong Yan, Tian-Ge Zhuang |
A Dynamic Programming Based Algorithm for Optimal Edge Detection in Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality: First International Workshop, MIAR 2001, Hong Kong, China, June 10-12, 2001. Proceedings, pp. 193-198, 2001, IEEE Computer Society, 0-7695-1113-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Image segmentation, Dynamic programming (DP), Edge detection, Edge enhancment |
11 | Neal Lesh, Mohammed Javeed Zaki, Mitsunori Ogihara |
Scalable Feature Mining for Sequential Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 15(2), pp. 48-56, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
classification, feature extraction, feature selection, sequence mining |
11 | Raphael B. Yehezkael, Yair Wiseman, H. G. Mendelbaum, I. L. Gordin |
Experiments in Separating Computational Algorithm from Program Distribution and Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings, pp. 268-278, 2000, Springer, 3-540-41729-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan |
A More Expressive Monitor for Concurrent Java Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 1053-1060, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Peter Grogono, Markku Sakkinen |
Copying and Comparing: Problems and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 226-250, 2000, Springer, 3-540-67660-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complex object structures, cloning, equality, Copying |
11 | Akira Hirose, Katsuhiko Hiramatsu |
Proposal of Complex-Valued Region-Based-Coupling Segmentation Neural Networks and the Application to Radar Imaging Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (1) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 1, pp. 146-151, 2000, IEEE Computer Society, 0-7695-0619-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Guerreiro |
Another Mediocre Assertion Mechanism for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 226-237, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Goran Nenadic |
Local Grammars and Parsing Coordination of Nouns in Serbo-Croatian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue - Third International Workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000, Proceedings, pp. 57-62, 2000, Springer, 3-540-41042-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Ying Hu, Ettore Merlo, Michel R. Dagenais, Bruno Laguë |
C/C++ Conditional Compilation Analysis using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2000 International Conference on Software Maintenance, ICSM 2000, San Jose, California, USA, October 11-14, 2000, pp. 196-206, 2000, IEEE Computer Society, 0-7695-0753-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham |
Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 627-641, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
coverage, latency, fault injection, assertions, Control flow checking |
11 | Ruey-Kai Sheu, Kai-Chih Liang, Shyan-Ming Yuan, Win-Tsung Lo |
A New Architecture for Integration of CORBA and OODB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(5), pp. 748-768, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
integration, CORBA, transaction, object-oriented database, OMG, ODMG |
11 | Natalie Clark, Michele Banish, Heggere S. Ranganath |
Smart adaptive optic systems using spatial light modulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(3), pp. 599-603, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Takeyuki Shimura, Masatoshi Yoshikawa, Shunsuke Uemura |
Storage and Retrieval of XML Documents Using Object-Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings, pp. 206-217, 1999, Springer, 3-540-66448-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Yi-Jen Chiu |
A Perceptual-Based Video Coder for Error Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 1999, Snowbird, Utah, USA, March 29-31, 1999., pp. 521, 1999, IEEE Computer Society, 0-7695-0096-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Boris Katz, Deniz Yuret, Jimmy Lin, Sue Felshin, Rebecca Schulman, Adnan Ilik, Ali Ibrahim, Philip Osafo-Kwaako |
Integrating Web Resources and Lexicons into a Natural Language Query System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 255-261, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Ronald W. Mehler, M. Ray Mercer |
Multi-Level Logic Minimization through Fault Dictionary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 315-318, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
optimization, logic minimization |
11 | Tamás Horváth 0001, Zoltán Alexin, Tibor Gyimóthy, Stefan Wrobel |
Application of Different Learning Methods to Hungarian Part-of-Speech Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 128-139, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Li Wang 0004, Wanlei Zhou 0001 |
A Tool for Constructing Service Replication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 358-361, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Distributed System, Interface Definition Language, Service Replication |
11 | Robert Batusek, Jan Dvorák |
Text Preprocessing for Czech Speech Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue - Second International Workshop, TSD'99, Plzen, Czech Republic, September 1999, Proceedings, pp. 209-214, 1999, Springer, 3-540-66494-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
11 | Elias N. Houstis, John R. Rice, Sanjiva Weerawarana, Ann Christine Catlin, P. N. Papachiou, Ko-Yang Wang, M. Gaitatzes |
PELLPACK: A Problem-Solving Environment for PDE-Based Applications on Multicomputer Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 24(1), pp. 30-73, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
PDE language, parallel reuse methodologies, sofeware bus, FORTRAN, knowledge bases, libraries, problem-solving environments, execution models, programming-in-the-large |
11 | Bozhidar Dimitrov, Vernon Rego |
Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(5), pp. 459-469, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Heterogeneous thread migration, compile-time code transformations, C++, user-level threads |
11 | Terrence W. Pratt |
Design of the GODIVA Performance Measurement System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers, pp. 219-228, 1998, Springer, 3-540-65172-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier |
Clone Detection Using Abstract Syntax Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1998 International Conference on Software Maintenance, ICSM 1998, Bethesda, Maryland, USA, November 16-19, 1998, pp. 368-377, 1998, IEEE Computer Society, 0-8186-8779-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Design Maintenance System, Software maintenance, clone detection, software evaluation |
11 | Gerald Baumgartner, Vincent F. Russo |
Implementing Signatures for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(1), pp. 153-187, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping |
11 | Jean-Marie Favre |
A Rigorous Approach to Support the Maintenance of Large Portable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 44-47, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Bozhidar Dimitrov, Vernon Rego |
Arachne: A Portable Threads Library Supporting Migrant Threads on Heterogeneous Network Farms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANPC ![In: Communication and Architectural Support for Network-Based Parallel Computing, First International Workshop, CANPC '97, San Antonio, Texas, USA, February 1-2, 1997, Proceedings, pp. 102-114, 1997, Springer, 3-540-62573-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Witold Kosinski, Martyna Weigl |
Expert system with an adaptive fuzzy inference module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part II, pp. 525-532, 1997, IEEE. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Chun Wong, Albert Mo Kim Cheng |
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 420-429, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
imprecise transmission, TIFF image file pre-processing, TIFF image file post-processing, congested real-time ATM networks, acceptable image quality, cell-loss rate, transmission overhead, image file content, fixed image files, ATM cells, received image quality, recovered image quality, real-time systems, network congestion, data recovery, image degradation, computational overhead |
11 | Roy Friedman, Maxim Goldin, Ayal Itzkovitz, Assaf Schuster |
Millipede: Easy Parallel Programming in Available Distributed Environments (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 84-87, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Hans-Juergen Boehm |
Simple Garbage-Collector-Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 89-98, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora |
Estimation of Power from Module-level Netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 324-325, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | David S. Rosenblum |
A Practical Approach to Programming With Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(1), pp. 19-31, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking |
11 | André Bakkers, Johan Sunter, Evert Ploeg |
Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Languages, Compilers, & Tools for Real-Time Systems ![In: Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, USA, June 21-22, 1995, pp. 134-145, 1995, ACM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Isambo Karali, Constantin Halatsis |
A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics. ![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. 486-500, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Se-Jin Hwang, Myong-Soon Park |
Efficient Software Data Prefetching for a Loop with Large Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 301-312, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ole Agesen |
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 2-26, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
concrete types, inheritance, polymorphism, type inference, Self, abstract types |
11 | Brian A. Box, John Nieznanski |
Common processor element packaging for CHAMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 3rd IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '95), 19-21 April 1995, Napa Valley, CA, USA, pp. 39-44, 1995, IEEE Computer Society, 0-8186-7086-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Gérard Ramstein, Olivier Déforges, P. Bakowski |
A Design Tool for the Specification and the Simulation of Array Processors Architectures - Application to Image Processing: The Extraction of Regions of Interests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: The International Conference on Application Specific Array Processors (ASAP'95), July 24-26, 1995, Strasbourg, France, pp. 322-329, 1995, IEEE Computer Society, 0-8186-7109-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Prem R. Menon, Hitesh Ahuja, Mohan Harihara |
Redundancy identification and removal in combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(5), pp. 646-651, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Cheng-Seen Ho, Chien-Chang Hsu |
Neural-network-based blackboard demon subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(2), pp. 143-158, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
knowledge-based systems, neural net architectures, Blackboard systems |
11 | Kazuki Ito, Masanori Hamamoto, Joarder Kamruzzaman, Yukio Kumagai |
Invariant Object Recognition Using Fahlman and Lebiere's Learning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 237-242, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Richard P. Palmer, Peter Rounce |
An Architecture for Implementing Control and Signal Processing Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 702-707, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Carl Weir, Rich Fritzson |
UNISYS: description of the CBAS system used for MUC-5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 5th Conference on Message Understanding, MUC 1993, Baltimore, Maryland, USA, August 25-27, 1993, pp. 249-261, 1993, ACL, 1-55860-336-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Weise, Roger F. Crew |
Programmable Syntax Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 156-165, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
11 | Mark R. Simpson |
PRIDE: an integrated design environment for semiconductor device simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(9), pp. 1163-1174, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Richard C. Waters |
Automatic Transformation of Series Expressions into Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(1), pp. 52-98, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
series, streams, vectors, sequences |
11 | Bruno Legeard, Emmanuel Legros |
Short Overview of the CLPS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 431-433, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Key-Words Logic Programming, set languages, constraints, Prolog, CLPS |
11 | Jerry R. Hobbs |
SRI International: description of the TACITUS system as used for MUC-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 3rd Conference on Message Understanding, MUC 1991, San Diego, California, USA, May 21-23, 1991, pp. 200-206, 1991, ACL, 1-55860-236-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Michael Newberry |
Minòs: Extended User Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUSCRYPT ![In: Advances in Cryptology - AUSCRYPT '90, International Conference on Cryptology, Sydney, Australia, January 8-11, 1990, Proceedings, pp. 410-423, 1990, Springer, 3-540-53000-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Tzilla Elrad, N. Krishna Kumar, James R. Kenevan |
Modeling distributed termination with pre-defined partial termination ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 373-376, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Kenji Nishi, Kouichi Sakamoto, Shigeki Kuroda, Jun Ueda, Tatsurou Miyoshi, Shintaro Ushio |
A general-purpose two-dimensional process simulator-OPUS for arbitrary structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(1), pp. 23-32, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang Borutzky |
Combining Behavioral Block Diagram Modelling with Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 399-410, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems |
11 | Gail F. Halkias, Kevin D. Reilly |
Human factors considerations in the design of a multiple source expert system for military applications (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 356, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Wei Si Jiang, William G. Wee |
A frame-based approach to hardware verification (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 359, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Begonia Bi-Hsia Tai, Leonard H. Weiner |
PCDEC, an interactive decision table system for personal computers (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 404, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Leroy J. Dickey |
Typesetting APL using TROFF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL: APL in transition, APL 1987, Dallas, TX, USA, May 10-14, 1987., pp. 494-497, 1987, ACM, 0-89791-226-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
APL |
11 | Christer Hultén |
Simple dynamic assertions for interactive program validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1984 National Computer Conference, 9-12 July 1984, Las Vegas, Nevada, USA, pp. 405-410, 1984, AFIPS Press, 0-88283-043-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
11 | David E. Boddy |
A Style for Structured APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(12), pp. 27-30, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Viswanathan Santhanam, John R. Potochnik |
Data abstraction for Pascal programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA, pp. 595-603, 1982, AFIPS Press, 0-88283-035-X. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Burt M. Leavenworth |
A Data Abstraction Approach to Database Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 147-149, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
11 | Norihisa Suzuki, Kiyoshi Ishihata |
Implementation of an Array Bound Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 132-143, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
11 | Robert C. Gammill |
GPMX: a portable general purpose macro processor adapted for preprocessing FORTRAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1976 National Computer Conference, 7-10 June 1976, New York, NY, USA, pp. 927-933, 1976, AFIPS Press, 978-1-4503-7917-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
11 | Gruia-Catalin Roman, David Garfinkel, Carl B. Marbach |
Memory conserving efficient methods for solving large sets of stiff differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1976 National Computer Conference, 7-10 June 1976, New York, NY, USA, pp. 973-978, 1976, AFIPS Press, 978-1-4503-7917-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
11 | Robert Balzer, David J. Farber |
APAREL - A parse-request language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 624-631, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I |