Sciweavers

3179 search results - page 111 / 636
» Applications of PCF Theory
Sort
View
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
14 years 2 months ago
A Dynamic JKR Model with Application to Vibrational Release in Micromanipulation
— In this paper a dynamic contact model is presented based on the Johnson-Kendall-Roberts (JKR) theory. The classical JKR model captures the contact properties for the quasi-stat...
Yang Fang, Xiaobo Tan
ASPDAC
2006
ACM
127views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Memory size computation for multimedia processing applications
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
Hongwei Zhu, Ilie I. Luican, Florin Balasa
AP2PC
2004
Springer
14 years 2 months ago
On Exploiting Agent Technology in the Design of Peer-to-Peer Applications
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
Steven Willmott, Josep M. Pujol, Ulises Cort&eacut...
DSN
2000
IEEE
14 years 1 months ago
Software-Implemented Fault Detection for High-Performance Space Applications
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
Michael J. Turmon, Robert Granat, Daniel S. Katz