|
|
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. |
ECBS |
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. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
Design Process, Design Rationale, CASE, Computer-Human Interface |
10 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
10 | David Sitsky, Kenichi Hayashi |
An MPI Library which uses Polling, Interrupts and Remote Copying for the Fujitsu AP1000+. |
ISPAN |
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. |
IEEE Trans. Software Eng. |
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. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider |
Engineering and Analysis of Fixed Priority Schedulers. |
IEEE Trans. Software Eng. |
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. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Cosimo Antonio Prete |
A process cache memory for tightly coupled multiprocessor systems. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
|
10 | C. Mohan 0001, Inderpal Narang |
Algorithms for Creating Indexes for Very Large Tables Without Quiescing Updates. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Kurt Ammon |
Automatic Proofs in Mathematical Logic and Analysis. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Costas Mourlas, Constantin Halatsis |
Extensions to a Parallel Prolog System to Support Real-Time Applications. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Peter B. Danzig |
An Analytical Model of Operating System Protocol Processing Including Effects of Multiprogramming. |
SIGMETRICS |
1991 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Micha Hofri |
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. |
ACM SIGOPS Oper. Syst. Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Lionel C. Mitchell |
Performance Analysis of a Fault Tolerant Computer System. |
SIGMETRICS |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Michael L. Bushnell, Stephen W. Director |
Automated design tool execution in the Ulysses design environment. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
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. |
ASPLOS |
1989 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Boris Magnusson |
Process oriented programming. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
10 | J. A. Chandross, H. V. Jagadish, Abhaya Asthana |
The trap as a control flow mechanism. |
MICRO |
1988 |
DBLP BibTeX RDF |
|
10 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. |
LISP and Functional Programming |
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. |
SIGMETRICS |
1988 |
DBLP DOI BibTeX RDF |
VAM, UNIX, VAX/VMS |
10 | Dominique Thiébaut, Harold S. Stone |
Footprints in the Cache. |
ACM Trans. Comput. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Richard E. Brown |
The Kiewit network: a large Apple Talk internetwork. |
Comput. Commun. Rev. |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth R. Lee |
Simultaneous presentation in text generation (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Doron Tal |
A multiprogramming stand alone systolic data flow machine (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Wlodzimierz M. Zuberek |
Modified M-timed Petri nets in modelling and performance evaluation of systems. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Yesh C. Pendarkar |
The porting of XINU to the system 370 VM/CMS environment (abstract only). |
ACM Conference on Computer Science |
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. |
SIGCSE |
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)) |
SOSP |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Bob Beck, Bob Kasten, Shreekant S. Thakkar |
VLSI Assist For a Multiprocessor. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Willy Zwaenepoel |
Protocols for large data transfers over local networks. |
SIGCOMM |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Tetsuro Ito, Makoto Kizawa |
Hierarchical File Organization and Its Application to Similar-String Matching. |
ACM Trans. Database Syst. |
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. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
|
10 | John M. Rushby |
Design and Verification of Secure Systems. |
SOSP |
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. |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
10 | D. E. Swearingen, Thomas G. Windeknecht |
A small KIM-1 based interactive music system. |
ACM Southeast Regional Conference |
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)) |
SOSP |
1979 |
DBLP DOI BibTeX RDF |
MESA |
10 | Victor S. Foster |
MIDAS: A MID-level language for microprocessors. |
ACM Annual Conference (2) |
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) |
SOSP |
1977 |
DBLP DOI BibTeX RDF |
Thoth |
10 | David J. Bastyr |
Nondedicated interprocessor communications discipline. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
10 | Clemens B. Hergenhan, Mark M. Rochkind |
The multipurpose batch station (MBS) system: software design. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Ken Magel, Andries van Dam, Martin Michel |
Toward the development of machine: independent systems programming languages. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Herbert Hellerman |
Experimental personalized array translator system. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
10 | Charles R. Blair |
On Computer Transcription of Manual Morse. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #744 of 744 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|