Sciweavers

11328 search results - page 91 / 2266
» Timed Branching Processes
Sort
View
104
Voted
TC
2002
15 years 4 months ago
Real-Time Processing in Client-Server Databases
Vinay Kanitkar, Alex Delis
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 11 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 11 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 12 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
164
Voted
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 10 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...