1742 search results - page 103 / 349 » An Applicative Module Calculus |
IEEEARES
2007
IEEE
14 years 5 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
HPCC
2007
Springer
14 years 4 months ago
2007
Springer
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...
RSP
2006
IEEE
14 years 4 months ago
2006
IEEE
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
DAGM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
ICRA
2003
IEEE
14 years 4 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...