3451 search results - page 345 / 691 » The Architecture and Implementation of Resource Space Model ... |
204
click to vote
AAAI
2011
14 years 6 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
205
click to vote
RTCSA
2003
IEEE
16 years 5 hour ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
204
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...
163
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
180
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...