Sciweavers

11328 search results - page 91 / 2266
» Timed Branching Processes
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 9 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
RTAS
2008
IEEE
15 years 9 months ago
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control
Jianping Song, Song Han, Aloysius K. Mok, Deji Che...
DAC
2009
ACM
15 years 10 months ago
Clock skew optimization via wiresizing for timing sign-off covering all process corners
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, varia...
Sari Onaissi, Khaled R. Heloue, Farid N. Najm
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 8 months ago
A Real-Time Visual Processing System using a General-Purpose Vision Chip
A real-time visual processing system using a generalpurpose vision chip, an image sensor in which photo detectors and processing elements are integrated, is described. In order to...
Shingo Kagami, Takashi Komuro, Idaku Ishii, Masato...