Sciweavers

3198 search results - page 325 / 640
» Evolutionary Computation in Structural Design
Sort
View
ISVLSI
2003
IEEE
138views VLSI» more  ISVLSI 2003»
15 years 12 months ago
Bouncing Threads: Merging a New Execution Model into a Nanotechnology Memory
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
Sarah E. Frost, Arun Rodrigues, Charles A. Giefer,...
192
Voted
CAMAD
2009
IEEE
15 years 11 months ago
SSSim: a Simple and Scalable Simulator for P2P Streaming Systems
This paper describes SSSim, the Simple and Scalable Simulator for P2P streaming systems. SSSim is designed for performance and scalability, and allows the simulation of the diffus...
Luca Abeni, Csaba Király, Renato Lo Cigno
ISORC
1999
IEEE
15 years 11 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
CHI
1997
ACM
15 years 11 months ago
Using Music as a Communication Medium
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
James L. Alty, Dimitrios I. Rigas, Paul Vickers
CHI
1997
ACM
15 years 11 months ago
A Comparison of Reading Paper and On-Line Documents
We report on a laboratory study that compares reading from paper to reading on-line. Critical differences have to do with the major advantages paper offers in supporting annotatio...
Kenton O'Hara, Abigail Sellen