4075 search results - page 450 / 815 » Modeling Distributed Algorithm Using B |
173
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a transmission-constrained unit commitment method using a Lagrangian relaxation approach. Based on a DC power flow model, the transmission constraints are form...
161
click to vote
ICCD
1993
IEEE
15 years 11 months ago
1993
IEEE
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
155
Voted
COCOA
2008
Springer
15 years 8 months ago
2008
Springer
Intrusion detection, area coverage and border surveillance are important applications of wireless sensor networks today. They can be (and are being) used to monitor large unprotec...
181
click to vote
JNW
2007
15 years 6 months ago
2007
—Real time traffic adopting UDP at the transport layer needs some quality of service. It is offered through an admission control scheme. This paper adopts one such scheme which i...
155
click to vote
ESCIENCE
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we present algorithms for Grid resource provisioning that employ agreement-based resource management. These algorithms allow userlevel resource allocation and sched...