Sciweavers

7527 search results - page 144 / 1506
» Design and implementation of the KioskNet system
Sort
View
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 12 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
HOTI
2005
IEEE
15 years 12 months ago
Design of Randomized Multichannel Packet Storage for High Performance Routers
High performance routers require substantial amounts of memory to store packets awaiting transmission, requiring the use of dedicated memory devices with the density and capacity ...
Sailesh Kumar, Patrick Crowley, Jonathan S. Turner

Book
269views
17 years 4 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper
CCGRID
2006
IEEE
15 years 8 months ago
Integrating Logical and Physical File Models in the MPI-IO Implementation for "Clusterfile"
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
Florin Isaila, David E. Singh, Jesús Carret...
SIGCSE
2009
ACM
168views Education» more  SIGCSE 2009»
16 years 7 months ago
Bringing big systems to small schools: distributed systems for undergraduates
Distributed applications have become a core component of the Internet's infrastructure. However, many undergraduate curriculums, especially at small colleges, do not offer co...
Jeannie R. Albrecht