Sciweavers

3379 search results - page 302 / 676
» Combinators for Interaction Nets
Sort
View
INFOCOM
2006
IEEE
16 years 21 days ago
Power-Law Tradeoffs Between Optical and Electronic Switching
— Designing a transport network requires finding the most cost-effective combination of electronic and optical switching to support the given demands. This task is not trivial b...
Huan Liu, Benjamin K. Chen, Fouad A. Tobagi
IFM
2004
Springer
16 years 1 days ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
143
Voted
SIGDOC
2009
ACM
15 years 11 months ago
User's issues in crossmedia applications
Technology allows users to interact with a wide variety of information and services. However, more and more users need to integrate complementary content to previously accessed in...
João Soares de Oliveira Neto, Nicolas Rouss...
FCCM
1999
IEEE
146views VLSI» more  FCCM 1999»
15 years 11 months ago
Sepia: Scalable 3D Compositing Using PCI Pamette
We have implemented an image combining architecture that allows distributed rendering of a partitioned data set at interactive rates. The architecture achieves real-time frame rat...
Laurent Moll, Mark Shand, Alan Heirich
TMI
2002
90views more  TMI 2002»
15 years 6 months ago
Volume Rendering of Segmented Image Objects
This paper describes a new method of combining ray-casting with segmentation. Volume rendering is performed at interactive rates on standard laptop computers, and visualizations in...
Elizabeth Bullitt, Stephen R. Aylward