Search results for "Interrupt"

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