Sciweavers

4463 search results - page 427 / 893
» computing 2000
Sort
View
EOR
2000
74views more  EOR 2000»
15 years 6 months ago
On the capacitated lot-sizing and continuous 0-1 knapsack polyhedra
We consider the single itemcapacitated lot{sizingproblem, a well-known productionplanningmodelthat often arises in practical applications, and derive new classes of valid inequali...
Andrew J. Miller, George L. Nemhauser, Martin W. P...
183
Voted
ITICSE
2000
ACM
15 years 11 months ago
Making students read and review code
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
Andreas Zeller
MOBIHOC
2000
ACM
15 years 11 months ago
Content based multicast (CBM) in ad hoc networks
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
Hu Zhou, Suresh Singh
EDO
2000
Springer
15 years 10 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
ACMDIS
2000
ACM
15 years 11 months ago
Beyond the Snapshot: From Speculation to Prototypes in Audiophotography
In this paper we describe techniques used to move from a wide variety of speculative concepts to three working prototypes of potentially commercial audiophotography products. Stag...
Heather Martin, William W. Gaver