Sciweavers

2435 search results - page 316 / 487
» System Exploration of SystemC Designs
Sort
View
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 1 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
FCCM
2004
IEEE
143views VLSI» more  FCCM 2004»
15 years 8 months ago
Reconfigurable Molecular Dynamics Simulator
Current high-performance applications are typically implemented on large-scale general-purpose distributed or multiprocessing systems often based on commodity microprocessors. Fie...
Navid Azizi, Ian Kuon, Aaron Egier, Ahmad Darabiha...
VIS
2004
IEEE
115views Visualization» more  VIS 2004»
16 years 6 months ago
Visualization in Grid Computing Environments
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
Ken Brodlie, David A. Duce, Julian R. Gallop, Musb...
CHI
2007
ACM
16 years 5 months ago
Engaging constable: revealing art with new technology
Museums increasingly deploy new technologies to enhance visitors' experience of their exhibitions. They primarily rely on touch-screen computer systems, PDAs and digital audi...
Dirk vom Lehn, Jon Hindmarsh, Paul Luff, Christian...
OSDI
2002
ACM
16 years 5 months ago
The Effectiveness of Request Redirection on CDN Robustness
It is becoming increasingly common to construct network services using redundant resources geographically distributed across the Internet. Content Distribution Networks are a prim...
Limin Wang, Vivek S. Pai, Larry L. Peterson