Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Frank Yeong-Sung Lin, Hsu-Chen Cheng, Yao-Jung Yeh |
A Minimum Cost Multicast Routing Algorithm with the Consideration of Dynamic User Membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Convergence in Broadband and Mobile Networking, International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005, Proceedings, pp. 254-263, 2005, Springer, 3-540-24467-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Luo Si, Jamie Callan |
Modeling search engine effectiveness for federated search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2005: Proceedings of the 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Salvador, Brazil, August 15-19, 2005, pp. 83-90, 2005, ACM, 1-59593-034-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model search engine effectiveness |
12 | Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger |
Automatic generation and maintenance of correct spreadsheets. ![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. 136-145, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type system, template, spreadsheet, end-user software engineering, program generation, error prevention |
12 | Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green |
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC Workshops ![In: 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 19 July 2005, München, Germany, pp. 21-28, 2005, IEEE Computer Society, 0-7695-2384-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Giuliana Teixeira Santos, Lau Cheuk Lung, Carlos Montez |
FTWeb: A Fault Tolerant Infrastructure for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 19-23 September 2005, Enschede, The Netherlands, pp. 95-105, 2005, IEEE Computer Society, 0-7695-2441-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Web services, Fault tolerance, FT-CORBA |
12 | Yan Fu, Kemal Sahin |
Better Optimization of Nonlinear Uncertain Systems (BONUS) for Vehicle Structural Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 132(1-4), pp. 69-84, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
optimization under uncertainty, vehicle side impact, metamodeling, nonlinear programming, stochastic optimization |
12 | G. Alan Creak |
Parsing by numbers and asparagus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(8), pp. 12-19, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge |
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 9(1-2), pp. 5-53, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
procedural reasoning system, formal specification, agent architectures, BDI |
12 | Colin F. Mackenzie, Yan Xiao 0001, Richard Horst |
Video task analysis in high performance teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 6(3), pp. 139-147, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Airway, Cognitive function, Performance, Video, Task analysis, Medical |
12 | Predrag Knezevic, Bhaskar Mehta, Claudia Niederée, Thomas Risse 0001, Ulrich Thiel, Ingo Frommholz |
Supporting Information Access in Next Generation Digital Library Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELOS ![In: Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures, 6th Thematic Workshop of the EU Network of Excellence DELOS, Cagliari, Italy, June 24-25, 2004, Revised Selected Papers, pp. 207-222, 2004, Springer, 3-540-28711-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Kuntz, Kai Lampka |
Probabilistic Methods in State Space Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Stochastic Systems ![In: Validation of Stochastic Systems - A Guide to Current Research, pp. 339-383, 2004, Springer, 3-540-22265-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | S. Sarala, S. Valli |
A Tool to Automatically Detect Defects in C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Intelligent Information Technology, 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings, pp. 302-314, 2004, Springer, 3-540-24126-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Function overloading, Hybrid Inheritance, Friend Function, Template Function, Dangling Reference, Test case, Automatic Generation, Virtual Function |
12 | Peter C. Dillinger, Panagiotis Manolios |
Fast and Accurate Bitstate Verification for SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 57-75, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Sung-Phil Heo |
Effective and Efficient Melody-Matching Method in a Large-Scale Music Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 32-33, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | David L. Olson |
Data Set Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASDMKM ![In: Data Mining and Knowledge Management, Chinese Academy of Sciences Symposium, CASDMKM 2004, Beijing, China, July 12-14, 2004, Revised Papers, pp. 71-80, 2004, Springer, 3-540-23987-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Chiu-Yuen Koo |
Broadcast in radio networks tolerating byzantine adversarial behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 275-282, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, broadcast, radio networks |
12 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini |
Model-based evaluation of a radio resource management system for wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 51-59, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
modeling, reliability, wireless networks, resource management system, stochastic activity networks |
12 | Wolfram M. Esser |
Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings, pp. 338-352, 2004, Springer, 3-540-21382-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Elise van den Hoven, Berry Eggen |
Tangible Computing in Everyday Life: Extending Current Frameworks for Tangible User Interfaces with Personal Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSAI ![In: Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings, pp. 230-242, 2004, Springer, 3-540-23721-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tao Wang, Abhik Roychoudhury |
Using Compressed Bytecode Traces for Slicing Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 512-521, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Kirk W. Cameron, Rong Ge 0002 |
Predicting and Evaluating Distributed Communication Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA, CD-Rom, pp. 43, 2004, IEEE Computer Society, 0-7695-2153-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed systems, middleware, performance modeling and prediction |
12 | Luc Hoegaerts, Johan A. K. Suykens, Joos Vandewalle, Bart De Moor |
A Comparison of Pruning Algorithms for Sparse Least Squares Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 1247-1253, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz |
Reverse-order-restoration-based static test compaction for synchronous sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(3), pp. 293-304, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Christopher C. Yang, Kar Wing Li |
Segmenting Chinese Unknown Words by Heuristic Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings, pp. 510-520, 2003, Springer, 3-540-20608-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Hermann Kopetz |
Fault Containment and Error Detection in the Time-Triggered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 139-146, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Schemmer, Edgar Nett |
Managing Dynamic Groups of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 9-16, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Sidney C. Bailin, Heike B. Lehmann |
Facilitating Physician-Patient Dialogue through Ontology Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 248-, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Richard A. Baldwin, Eric Neufeld |
On the Structure Model Interpretation of Wright's NESS Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 9-23, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Kirk W. Cameron, Xian-He Sun |
Quantifying Locality Effect in Data Access Delay: Memory logP. ![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. 48, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance analysis, computational models, Memory hierarchy, parallel and distributed computing |
12 | Shino Iwashita, Ichiro Kobayashi, Noriko Ito, Toru Sugimoto, Michio Sugeno |
Personalization of Help System Output in the Framework of Everyday Language Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part II, pp. 439-445, 2003, Springer, 3-540-40804-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoding Chen, Michael S. Hsiao |
Energy-Efficient Logic BIST Based on State Correlation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 21st IEEE VLSI Test Symposium (VTS 2003), 27 April - 1 May 2003, Napa Valley, CA, USA, pp. 267-272, 2003, IEEE Computer Society, 0-7695-1924-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Irith Pomeranz, Sudhakar M. Reddy |
On Maximizing the Fault Coverage for a Given Test Length Limit in a Synchronous Sequential Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 21st IEEE VLSI Test Symposium (VTS 2003), 27 April - 1 May 2003, Napa Valley, CA, USA, pp. 173-178, 2003, IEEE Computer Society, 0-7695-1924-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Glenda Burch |
First commentary on "XML and the new design regime". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Comput. Documentation ![In: ACM J. Comput. Documentation 26(2), pp. 43-44, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML, designers, data modelers |
12 | Edsger W. Dijkstra |
EWD1300: The Notational Conventions I Adopted, and Why. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 99-107, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Eric E. Allen, Robert Cartwright |
The case for run-time types in generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 19-24, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
Java |
12 | Gordon D. Plotkin, John Power |
Notions of Computation Determine Monads. ![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. 342-356, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Quentin Calder |
Facing budgetary shortfalls?: ways to keep IT staffing, while saving important monies for critical use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 30th annual ACM SIGUCCS conference on User services: Charting Bold Courses - New Worlds in User Services, Providence, Rhode Island, USA, November 20-23, 2002, pp. 226-228, 2002, ACM, 1-58113-564-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
on-site assistance, training, management, help desk, student staff, student consultants |
12 | Shmuel T. Klein, Dana Shapira |
Searching in Compressed Dictionaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2002 Data Compression Conference (DCC 2002), 2-4 April, 2002, Snowbird, UT, USA, pp. 142-, 2002, IEEE Computer Society, 0-7695-1477-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ulrich Schmid 0001, Bettina Weiss, John M. Rushby |
Formally Verified Byzantine Agreement in Presence of Link Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 608-616, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
assumption coverage, formal verification, lower bounds, fault models, consensus, Byzantine agreement, Fault-tolerant distributed systems, link faults, impossibility results |
12 | D. Hoogeveen, Hans Oppelland |
A Socio-political Model of the Relationship between IT Investments and Business Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 259, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
IT business value, case study research, socio political, trust, conflict |
12 | C. J. van Rijsbergen |
Landmarks in information retrieval: the message out of the bottle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, August 11-15, 2002, Tampere, Finland, pp. 1, 2002, ACM, 1-58113-561-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-Tree Analysis for Constraint Logic-Based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 165-184, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Shaoyi He |
Interplay of language and culture in global E-commerce: a comparison of five companies' multilingual websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 83-88, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Nick G. Duffield, Carsten Lund, Mikkel Thorup |
Charging from sampled network usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Workshop ![In: Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, IMW 2001, San Francisco, California, USA, November 1-2, 2001, pp. 245-256, 2001, ACM, 1-58113-435-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad H. Azadmanesh, Roger M. Kieckhafer |
Exploiting Omissive Faults in Synchronous Approximate Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(10), pp. 1031-1042, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Approximate agreement, convergent voting algorithms, hybrid faults, clock synchronization, fault-tolerant distributed systems |
12 | Michael S. Hsiao, Srimat T. Chakradhar |
Test Set and Fault Partitioning Techniques for Static Test Sequence Compaction for Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(4), pp. 329-338, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
static test set compaction, vector-reordering, fault coverage curve, partitioning, ATPG |
12 | Hyowon Lee 0001, Alan F. Smeaton, Catherine Berrut, Noel Murphy, Seán Marlow, Noel E. O'Connor |
Implementation and Analysis of Several Keyframe-Based Browsing Interfaces to Digital Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000, Proceedings, pp. 206-218, 2000, Springer, 3-540-41023-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Nigel Davies 0001, Pierre-Guillaume Raverdy |
Position paper: the role of platforms and operating systems in supporting home networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 165-170, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Piotr Sapiecha, Henry Selvaraj, Michal Pleban |
Decomposition of Boolean Relations and Functions in Logic Synthesis and Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 487-494, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Juan F. Ramil, M. M. Lehman |
Metrics of Software Evolution as Effort Predictors - A Case Study. ![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. 163-172, 2000, IEEE Computer Society, 0-7695-0753-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana |
Supporting the shared care of diabetic patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP'99, International Conference on Supporting Group Work, November 14-17, 1999, Embassy Suites Hotel, Phoenix, Arizona, USA, pp. 91-100, 1999, ACM, 1-58113-065-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
knowledge sharing, medical informatics, cooperative systems |
12 | George Anton Kiraz |
Compressed Storage of Sparse Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIA ![In: Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers, pp. 109-121, 1999, Springer, 3-540-42812-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Helmut Horacek |
Presenting Proofs in a Human-Oriented Way. ![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. 142-156, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Takashi Yoshino 0001, Jun Munemori, Kazutomo Yunokuchi, Shiro Ito |
Development and Application of PDA-Based Data Collection System for an Idea Generation Support Groupware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 88-93, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Palm III, KJ method, Groupware, Personal Digital Assistant(PDA), data collection, idea generation |
12 | P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens |
System Level Models for Real-Time Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 1496-, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Sofía N. Galicia-Haro, Igor A. Bolshakov, Alexander F. Gelbukh |
A Simple Spanish Part of Speech Tagger for Detection and Correction of Accentuation Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue - Second International Workshop, TSD'99, Plzen, Czech Republic, September 1999, Proceedings, pp. 219-222, 1999, Springer, 3-540-66494-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Takaaki Fukuda, Tetsuyasu Yamada, Tomoharu Yamaguchi |
Experience Paper: Quality Improvement in Switching-System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 353-358, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg |
Fault-Tolerant Wait-Free Shared Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(3), pp. 451-500, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
fault-tolerance, synchronization, implementation, shared memory, MIMD, shared objects, asynchronous computing |
12 | Gerard J. Holzmann |
On Checking Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 61-70, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Michael S. Hsiao, Srimat T. Chakradhar |
Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, pp. 452-457, 1998, IEEE Computer Society, 0-8186-8277-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Richard Plunkett, Alan D. Fekete |
Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings, pp. 333-346, 1998, Springer, 3-540-65066-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | John R. Landry |
Can Mission Statements Plant the "Seeds" of Dysfunctional Behaviors in an Organization's Memory? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 166-173, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger |
Probability, Parallelism and the State Space Exploration Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation (Tools) ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings, pp. 165-179, 1998, Springer, 3-540-64949-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Masami Oguro |
Faxed Document Image Restoration Using Gray Level Representation. ![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. 679-683, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Hin-Sing Siu, Yeh-Hao Chin, Wei-Pang Yang |
A Note on Consensus on Dual Failure Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(3), pp. 225-230, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
dual failure modes, fault tolerance, distributed systems, Byzantine Agreement, consensus problem, hybrid fault model |
12 | Steven Dawson, C. R. Ramakrishnan 0001, Steven Skiena, Terrance Swift |
Principles and Practice of Unification Factoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(5), pp. 528-563, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
trie minimization, logic programming, indexing, unification |
12 | Agnes Hui Chan, Yair Frankel, Philip D. MacKenzie, Yiannis Tsiounis |
Mis-representation of Identities in E-cash Schemes and how to Prevent it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '96, International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996, Proceedings, pp. 276-285, 1996, Springer, 3-540-61872-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Jackson 0001 |
Aspect: Detecting Bugs with Abstract Dependences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(2), pp. 109-145, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dataflow dependences, partial verification, partial specification |
12 | Goetz Graefe, Richard L. Cole |
Fast Algorithms for Universal Quantification in Large Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(2), pp. 187-236, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
Unification Factoring for Efficient Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 247-258, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
On the Occur-Check-Free Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 687-726, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm |
12 | P. D. V. van der Stok, M. M. M. P. J. Claessen, Dick Alstein |
A Hierarchical Membership Protocol for Synchronous Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, pp. 599-616, 1994, Springer, 3-540-58426-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed algorithm, synchronous system, hierarchical system, membership service |
12 | Rosario Aiello, Elena Pagani, Gian Paolo Rossi 0001 |
Causal Ordering in Reliable Group Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1993 Conference on Communications Architectures, Protocols and Applications, San Francisco, CA, USA, September 13-17, 1993, pp. 106-115, 1993, ACM, 0-89791-619-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Shlomi Dolev, Jennifer L. Welch |
Crash Resilient Communication in Dynamic Networks (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings, pp. 129-144, 1993, Springer, 3-540-57271-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Jackson 0001 |
Abstract Analysis with Aspect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 19-27, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
DEBUG |
12 | Jan Van den Bussche, Gottfried Vossen |
An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 267-282, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
Why the Occur-Check is Not a Problem. (long version: TOPLAS 16(3): 687-726 (1994)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 69-86, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala |
Broadcast Protocols for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(1), pp. 17-25, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
total message order, reliable distributed operations, consensus agreement, Trans protocol, Total protocol, protocols, distributed processing, concurrency control, local area network, local area networks, Ethernet, update, locking, commitment, total order, token ring, fault-tolerant distributed systems, broadcast communication, fault tolerantcomputing, distributed agreement, message exchange |
12 | Pascale Minet, Emmanuelle Anceaume |
Atomic broadcast in one phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990, ACM. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Kim Marriott, Harald Søndergaard |
On prolog and the occur check problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(5), pp. 76-82, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Benny Chor, Michael Merritt, David B. Shmoys |
Simple constant-time consensus protocols in realistic failure models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 36(3), pp. 591-614, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
12 | T. K. Srikanth, Sam Toueg |
Optimal clock synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(3), pp. 626-645, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Claude Spehner |
Un Algorithme Determinant les Melanges de Deux Mots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 387-396, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
12 | John L. Hennessy, Norman P. Jouppi, Forest Baskett, Thomas R. Gross, John Gill |
Hardware/Software Tradeoffs for Increased Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California, USA, March 1-3, 1982., pp. 2-11, 1982, ACM Press, 0-89791-066-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|