Sciweavers

1680 search results - page 150 / 336
» Scalability for Virtual Worlds
Sort
View
TIC
2000
Springer
137views System Software» more  TIC 2000»
15 years 10 months ago
Scalable Certification for Typed Assembly Language
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
Dan Grossman, J. Gregory Morrisett
FAST
2007
15 years 8 months ago
Data ONTAP GX: A Scalable Storage Cluster
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
Michael Eisler, Peter Corbett, Michael Kazar, Dani...
ISCA
2008
IEEE
119views Hardware» more  ISCA 2008»
15 years 6 months ago
Technology-Driven, Highly-Scalable Dragonfly Topology
Evolving technology and increasing pin-bandwidth motivate the use of high-radix routers to reduce the diameter, latency, and cost of interconnection networks. High-radix networks,...
John Kim, William J. Dally, Steve Scott, Dennis Ab...
VR
2009
IEEE
319views Virtual Reality» more  VR 2009»
16 years 1 months ago
Virtual Heliodon: Spatially Augmented Reality for Architectural Daylighting Design
We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative design...
Yu Sheng, Theodore C. Yapo, Christopher Young, Bar...
ISPA
2004
Springer
15 years 12 months ago
VIOLIN: Virtual Internetworking on Overlay Infrastructure
We propose a novel alternative to application-level overlays called VIOLIN, or Virtual Internetworking on OverLay INfrastructure. Inspired by recent advances in virtual machines, ...
Xuxian Jiang, Dongyan Xu