Search Sciweavers | Sciweavers

1661 search results - page 7 / 333

» Real-time specification patterns

154

click to vote

CBMS
2006
IEEE

243views Medical Imaging» more CBMS 2006»

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

15 years 9 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 »

108

Voted

ECRTS
2003
IEEE

71views Embedded Systems» more ECRTS 2003»

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

15 years 8 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

15 years 7 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

105

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

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

15 years 7 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

117

click to vote

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers