5465 search results - page 125 / 1093 » Assigning Types to Processes |
JSYML
2008
14 years 10 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
PE
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which custom...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
An important problem in resource management for networked resource-sharing systems is the simultaneous allocation of multiple resources to an application. Selfoptimizing systems m...
100
click to vote
CP
2010
Springer
14 years 8 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
130
click to vote
ICDM
2007
IEEE
15 years 1 months ago
2007
IEEE
Event detection is one of the most important issues of event processing system, especially Complex Event Processing (CEP). Outlier event, change event and burst event are three ty...