Sciweavers

1652 search results - page 26 / 331
» Integration in Real PCF
Sort
View
ICA3PP
2007
Springer
14 years 2 months ago
AnyServer: Ubiquitous Real-Time Multimedia Communication System
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
Weijia Jia
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 2 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
SRDS
2006
IEEE
14 years 2 months ago
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
Edward Curley, Jonathan Stephen Anderson, Binoy Ra...
ICFEM
1997
Springer
14 years 20 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
IV
2010
IEEE
249views Visualization» more  IV 2010»
13 years 7 months ago
Real-Time Ray Tracing of Complex Molecular Scenes
—Molecular visualization is one of the cornerstones in structural bioinformatics and related fields. Today, rasterization is typically used for the interactive display of molecu...
Lukas Marsalek, Anna Katharina Dehof, Iliyan Georg...