Sciweavers

907 search results - page 49 / 182
» Monitoring of Real-Time Properties
Sort
View
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
14 years 1 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
PAMI
2002
92views more  PAMI 2002»
13 years 7 months ago
An HMM-Based Segmentation Method for Traffic Monitoring Movies
Jien Kato, Toyohide Watanabe, Sébastien Jog...
IPPS
2003
IEEE
14 years 1 months ago
SoCBUS: Switched Network on Chip for Hard Real Time Embedded Systems
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
Daniel Wiklund, Dake Liu
ICCS
2003
Springer
14 years 1 months ago
CORBA Based Real-Time Object-Group Platform in Distributed Computing Environments
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
Su-Chong Joo, Sung-Kwun Oh, Chang-Sun Shin, Jun Hw...
RAID
2010
Springer
13 years 6 months ago
Fast-Flux Bot Detection in Real Time
The fast-flux service network architecture has been widely adopted by bot herders to increase the productivity and extend the lifespan of botnets’ domain names. A fast-flux bot...
Ching-Hsiang Hsu, Chun-Ying Huang, Kuan-Ta Chen