Search Sciweavers | Sciweavers

1661 search results - page 7 / 333

» Real-time specification patterns

click to vote

CBMS
2006
IEEE

243views Medical Imaging» more CBMS 2006»

Real-Time Simulation and Visualization of Subject-Specific 3D Lung Dynamics

14 years 5 months ago

Download www.creol.ucf.edu

In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...

Anand P. Santhanam, Cali M. Fidopiastis, Paul Dave...

claim paper

Read More »

click to vote

ECRTS
2003
IEEE

71views Embedded Systems» more ECRTS 2003»

Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems

14 years 4 months ago

Download www.soi.city.ac.uk

Christos Kloukinas, Sergio Yovine

claim paper

Read More »

click to vote

IPPS
2000
IEEE

110views Distributed And Parallel Com...» more IPPS 2000»

RPV: A Programming Environment for Real-Time Parallel Vision - Specification and Programming Methodology

14 years 3 months ago

Download ipdps.cc.gatech.edu

Daisaku Arita, Yoshio Hamada, Satoshi Yonemoto, Ri...

claim paper

Read More »

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

14 years 3 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

click to vote

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

A State Graph Manipulator Tool for Real-Time System Specification and Verification

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers