4306 search results - page 254 / 862 » Timed Testing with TorX |
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
113
Voted
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
88
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a new method — the Time-delay Added Evolutionary Forecasting (TAEF) method — for time series prediction which performs an evolutionary search of the minimu...
123
Voted
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
We consider the problem of finding an optimal clock schedule, i.e. optimal arrival times for clock signals at latches of a VLSI chip. We describe a general model which includes al...
97
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...