3521 search results - page 270 / 705 » Algorithmic Control in Concurrent Computations |
212
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
175
click to vote
IPSN
2007
Springer
16 years 14 days ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
149
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
174
click to vote
MOBIHOC
2005
ACM
16 years 5 months ago
2005
ACM
: In this paper, we analyze the node scheduling approach of topology control in the context of reliable packet delivery. In node scheduling, only a minimum set of nodes needed for ...
204
click to vote
CGI
1997
IEEE
15 years 10 months ago
1997
IEEE
In order to achieve the impression of a smooth surface while rendering a polygon mesh, normal vector vectors may be provided in the vertices of the mesh that are the average of th...