Sciweavers

2584 search results - page 356 / 517
» On the Forward Checking Algorithm
Sort
View
FSEN
2007
Springer
15 years 4 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
ISPD
2005
ACM
133views Hardware» more  ISPD 2005»
15 years 3 months ago
Multi-bend bus driven floorplanning
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
Jill H. Y. Law, Evangeline F. Y. Young
JSSPP
2005
Springer
15 years 3 months ago
Enhancing Security of Real-Time Applications on Grids Through Dynamic Scheduling
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
Tao Xie 0004, Xiao Qin
ICMCS
1999
IEEE
94views Multimedia» more  ICMCS 1999»
15 years 2 months ago
Multi-Phase Interval Caching for a News on Demand Server
In this paper, we propose a buffer cache algorithm to build a cost effective storage server for real time news objects. In a News On Demand Server, the number of concurrent stream...
Yong Woon Park, Won Il Seo, Ki-Dong Chung
95
Voted
PKDD
1999
Springer
272views Data Mining» more  PKDD 1999»
15 years 2 months ago
Handling Missing Data in Trees: Surrogate Splits or Statistical Imputation
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...
A. J. Feelders