Sciweavers

502 search results - page 26 / 101
» Evolving Hardware on a Large Scale
Sort
View
MASCOTS
2003
15 years 7 months ago
Toward Scaling Network Emulation using Topology Partitioning
Scalability is the primary challenge to studying large complex network systems with network emulation. This paper studies topology partitioning, assigning disjoint pieces of the n...
Ken Yocum, Ethan Eade, Julius Degesys, David Becke...
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
MICROMACHINES
2011
15 years 16 days ago
Modeling Self-Assembly Across Scales: The Unifying Perspective of Smart Minimal Particles
: A wealth of current research in microengineering aims at fabricating devices of increasing complexity, notably by (self-)assembling elementary components into heterogeneous funct...
Massimo Mastrangeli, Grégory Mermoud, Alche...
IH
2001
Springer
15 years 10 months ago
COiN-Video: A Model for the Dissemination of Copyrighted Video Streams over Open Networks
As digital technology over open networks evolves, commercialization of video streams is coming of age. Traditional models for video stream commercialization suffer from copyright ...
Dimitris Thanos
VISUALIZATION
1999
IEEE
15 years 10 months ago
A Distributed Graphics System for Large Tiled Displays
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
Greg Humphreys, Pat Hanrahan