| |
 |
|
|
Cremers, Armin
Rheinische-Friedrich-Wilhelms Universitat
Bonn, Germany
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 29
reviews
|
|
|
|
|
|
|
|
RecPlay: a fully integrated practical record/replay system
Ronsse M., De Bosschere K. ACM Transactions on Computer Systems 17(2): 133-152, 1999. Type: Article
The cyclic debugging of parallel programs is addressed. The problem here is that, due to unsynchronized accesses to shared memory (race conditions), subsequent program executions with identical input are not guaranteed to produce the s...
|
Mar 1 2000 |
|
|
|
|
|
|
Garbage collecting the Internet: a survey of distributed garbage collection
Abdullahi S., Ringwood G. ACM Computing Surveys 30(3): 330-373, 1998. Type: Article
Motivated by the advent of programming languages like Java, whichare oriented to the needs of applications distributed over the Internet,this paper’s objective is to give readers an overview of the range ofsolutions for the p...
|
Nov 1 1999 |
|
|
|
|
|
|
The Linux kernel book
Card R., Dumas É., Mével F., John Wiley & Sons, Inc., New York, NY, 1998. Type: Book (9780471981411)
The authors give a technical overview of Linux and its kernel. However, the important area of networking (TCP/IP) and sockets is not covered....
|
Jun 1 1999 |
|
|
|
|
|
|
Disco: running commodity operating systems on scalable multiprocessors
Bugnion E., Devine S., Govil K., Rosenblum M. ACM Transactions on Computer Systems 15(4): 412-447, 1997. Type: Article
Virtual machine monitors, a popular operating systems approach in the 1970s, are investigated as a means of extending modern system software so it can run efficiently on large-scale shared-memory multiprocessors without a massive imple...
|
Sep 1 1998 |
|
|
|
|
|
|
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
Kaufmann M., Moore J. IEEE Transactions on Software Engineering 23(4): 203-213, 1997. Type: Article
The system described here, A Computational Logic for Applicative Common Lisp (ACL2), is a reimplemented extended version of the Boyer-Moore theorem prover Nqthm. ACL2 is geared toward large-scale verification as well as enhancements in...
|
Apr 1 1998 |
|
|
|
|
|
|
Pthreads programming
Nichols B., Buttlar D., Farrell J., O’Reilly & Associates, Inc., Sebastopol, CA, 1996. Type: Book (9781565921153)
Threaded programming styles have been widely adopted in the 1990s. This is true not only for Windows NT, but also for the mainstream of Unix, including System V Release 4, Solaris, and OSF 1. Threads are a general concept for exploitin...
|
Oct 1 1997 |
|
|
|
|
|
|
Issues in the design of a storage server for video-on-demand
Mourad A. Multimedia Systems 4(2): 70-86, 1996. Type: Article
Mourad examines issues related to the design of a storage server for video-on-demand applications. The storage medium considered is magnetic disks or arrays of disks. He investigates disk scheduling policies, buffer management policies...
|
Feb 1 1997 |
|
|
|
|
|
|
Usability engineering turns 10
Butler K. interactions 3(1): 58-75, 1996. Type: Article
Butler surveys the state of the art in usability engineering. He argues that usability--defined in terms of how well users can master and perform tasks with an application--is a key requirement for computer systems in...
|
Dec 1 1996 |
|
|
|
|
|
|
A bi-level language for software process modeling
Kaiser G., Popovich S., Ben-Shaul I., John Wiley & Sons, Inc., New York, NY, 1995. Type: Book (9780471942450)
Configuration management (CM) is the discipline of organizing and controlling evolving systems. For hardware systems, CM has been an established field since the 1950s. It was initially developed in the aerospace industry as an...
|
Jun 1 1996 |
|
|
|
|
|
|
n-DFS: the Multiple Dimensional File System
Fowler G., Korn D., Rao H., John Wiley & Sons, Inc., New York, NY, 1995. Type: Book (9780471942450)
Configuration management (CM) is the discipline of organizing and controlling evolving systems. For hardware systems, CM has been an established field since the 1950s. It was initially developed in the aerospace industry as an...
|
Jun 1 1996 |
|
|
|
|
|
| |
|
|
| |
|
|
