4636 search results - page 495 / 928 » Modelling and Validation with VipTool |
241
click to vote
VISUALIZATION
1994
IEEE
15 years 11 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
175
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
Motivated by the wide use of TCP for streaming in practice and the increasing availability of multipath between end hosts, we study multipath live streaming via TCP in this paper....
190
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
197
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
197
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Nearest neighbor forecasting models are attractive with their simplicity and the ability to predict complex nonlinear behavior. They rely on the assumption that observations simila...