|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 727 occurrences of 523 keywords
|
|
|
Results
Found 744 publication records. Showing 744 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Björn Regnell, Michael Andersson, Johan Bergstrand |
A Hierarchical Use Case Model with Graphical Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 270-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Message Sequence Chart (MSC), software engineering, requirements engineering, scenarios, use cases, graphical representation, graphical languages |
10 | Masao Ito, Koichi Kishida |
Resonance Interface: Proposal of a Framework for Design Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 302-309, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Design Process, Design Rationale, CASE, Computer-Human Interface |
10 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 404-429, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | David Sitsky, Kenichi Hayashi |
An MPI Library which uses Polling, Interrupts and Remote Copying for the Fujitsu AP1000+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 43-49, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Portable programming, Performance evaluation, MPI, Message passing, NAS parallel benchmark |
10 | Alan Burns 0001, Ken Tindell, Andy J. Wellings |
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 475-480, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
scheduling, operating system, Implementation, kernel, overheads, aerospace |
10 | Colin J. Fidge, Peter Kearney, Mark Utting |
Interactively Verifying a Simple Real-time Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 395-408, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider |
Engineering and Analysis of Fixed Priority Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 920-934, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms |
10 | William W. McLendon Jr., Richard F. Vidale |
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 384-388, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Cosimo Antonio Prete |
A process cache memory for tightly coupled multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 131-138, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | C. Mohan 0001, Inderpal Narang |
Algorithms for Creating Indexes for Very Large Tables Without Quiescing Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992., pp. 361-370, 1992, ACM Press, 978-0-89791-521-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Kurt Ammon |
Automatic Proofs in Mathematical Logic and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 4-19, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Costas Mourlas, Constantin Halatsis |
Extensions to a Parallel Prolog System to Support Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 551-565, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Peter B. Danzig |
An Analytical Model of Operating System Protocol Processing Including Effects of Multiprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems, San Diego, California, USA, May 21-24, 1991, pp. 11-20, 1991, ACM, 0-89791-392-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Micha Hofri |
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 24(1), pp. 18-22, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Lionel C. Mitchell |
Performance Analysis of a Fault Tolerant Computer System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, University of Colorado, Boulder, Colorado, USA, May 22-25, 1990, pp. 249-250, 1990, ACM, 0-89791-359-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Michael L. Bushnell, Stephen W. Director |
Automated design tool execution in the Ulysses design environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(3), pp. 279-287, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | David L. Black 0001, Richard F. Rashid, David B. Golub, Charles R. Hill, Robert V. Baron |
Translation Lookaside Buffer Consistency: A Software Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-III Proceedings - Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, April 3-6, 1989., pp. 113-122, 1989, ACM Press, 0-89791-300-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Boris Magnusson |
Process oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 34-36, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
10 | J. A. Chandross, H. V. Jagadish, Abhaya Asthana |
The trap as a control flow mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 21st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1988, San Diego, California, USA, November 28 - December 2, 1988, pp. 50-52, 1988, ACM/IEEE, 0-8186-1919-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
10 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 124-131, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Stephen W. Melvin, Yale N. Patt |
The Use of Microcode Instrumentation for Development, Debugging and Tuning of Operating System Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Fe, New Mexico, USA, May 24-27, 1988, pp. 207-214, 1988, ACM, 0-89791-254-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
VAM, UNIX, VAX/VMS |
10 | Dominique Thiébaut, Harold S. Stone |
Footprints in the Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 5(4), pp. 305-329, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Richard E. Brown |
The Kiewit network: a large Apple Talk internetwork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 17(5), pp. 15-26, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth R. Lee |
Simultaneous presentation in text generation (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. 383, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Doron Tal |
A multiprogramming stand alone systolic data flow machine (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. 436, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Wlodzimierz M. Zuberek |
Modified M-timed Petri nets in modelling and performance evaluation of systems. ![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. 261-268, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Yesh C. Pendarkar |
The porting of XINU to the system 370 VM/CMS environment (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. 463-464, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
XINU, IBM System/370 |
10 | Barry L. Kurtz, Joseph J. Pfeiffer Jr. |
A course project to design and implement the kernel of a real-time operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 115-119, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Albert Chang, Mark F. Mergen |
801 Storage: Architecture and Programming (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 28-50(1988)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Eleventh ACM Symposium on Operating System Principles, SOSP 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11, 1987, pp. 109-110, 1987, ACM, 0-89791-242-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Bob Beck, Bob Kasten, Shreekant S. Thakkar |
VLSI Assist For a Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), Palo Alto, California, USA, October 5-8, 1987., pp. 10-20, 1987, ACM Press, 0-8186-0805-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Willy Zwaenepoel |
Protocols for large data transfers over local networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 22-32, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Tetsuro Ito, Makoto Kizawa |
Hierarchical File Organization and Its Application to Similar-String Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(3), pp. 410-433, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
good match, similar-string, text editor, similarity, hierarchical clustering, office automation, file organization, spelling correction, linear ordering, best match |
10 | Sylvia C. Colvin, Gerry D. Stiers |
Cycle & save computer system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982, pp. 137, 1982, ACM, 0-89791-071-0. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
10 | John M. Rushby |
Design and Verification of Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981, pp. 12-21, 1981, ACM, 0-89791-062-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
10 | S. Leventis, George D. Papadopoulos, Stavros A. Koubias, J. Constantinides |
A protocol for a new double-loop computer network and its implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA, pp. 203-208, 1981, AFIPS Press, 978-1-4503-7921-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
10 | D. E. Swearingen, Thomas G. Windeknecht |
A small KIM-1 based interactive music system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 18th Annual Southeast Regional Conference, 1980, Tallahassee, Florida, USA, March 24-26, 1980, pp. 171-173, 1980, ACM, 0-89791-014-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
10 | Butler W. Lampson, David D. Redell |
Experience with Processes and Monitors in Mesa (Summary). (long version: CACM 23(2)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979, pp. 43-44, 1979, ACM, 0-89791-009-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
MESA |
10 | Victor S. Foster |
MIDAS: A MID-level language for microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 526-529, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Microprocessor languages, Mid-level languages, Languages, Microprocessors, MIDAS |
10 | David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager |
Thoth, a Portable Real-Time Operating System (Extended Abstract). (long version: CACM) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977, pp. 171, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Thoth |
10 | David J. Bastyr |
Nondedicated interprocessor communications discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 775-777, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
10 | Clemens B. Hergenhan, Mark M. Rochkind |
The multipurpose batch station (MBS) system: software design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 447-451, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Ken Magel, Andries van Dam, Martin Michel |
Toward the development of machine: independent systems programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 653-658, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Herbert Hellerman |
Experimental personalized array translator system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(7), pp. 433-438, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
10 | Charles R. Blair |
On Computer Transcription of Manual Morse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 6(3), pp. 429-442, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #744 of 744 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|