Search Sciweavers | Sciweavers

441 search results - page 5 / 89

» Refinement of Time

click to vote

VVS
2000
IEEE

126views Visualization» more VVS 2000»

Time critical isosurface refinement and smoothing

14 years 4 days ago

Download www.pascucci.org

Multi-resolution data-structures and algorithms are key in Visualization to achieve real-time interaction with large data-sets. Research has been primarily focused on the off-line...

Valerio Pascucci, Chandrajit L. Bajaj

claim paper

Read More »

click to vote

ICCAD
2002
IEEE

93views Hardware» more ICCAD 2002»

Refining switching window by time slots for crosstalk noise calculation

14 years 5 months ago

Download www.cs.york.ac.uk

Pinhong Chen, Yuji Kukimoto, Kurt Keutzer

claim paper

Read More »

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

14 years 3 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

click to vote

VISUALIZATION
2005
IEEE

134views Visualization» more VISUALIZATION 2005»

Visualization of Time-Dependent Remote Adaptive Mesh Refinement Data

14 years 2 months ago

Download www.zib.de

Ralf Kähler, Steffen Prohaska, Andrei Hutanu,...

claim paper

Read More »

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers