Sciweavers

6258 search results - page 1047 / 1252
» Applied Text Generation
Sort
View
PROCOMET
1998
15 years 6 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
NETWORKING
2000
15 years 6 months ago
A Reliable Subcasting Protocol for Wireless Environments
This paper presents an end-to-end reliable multicast protocol for use in environments with wireless access. It divides a multicast tree into sub-trees where subcasting within these...
Djamel Fawzi Hadj Sadok, Carlos de M. Cordeiro, Ju...
153
Voted
IJCAI
1997
15 years 6 months ago
Machine Learning Techniques to Make Computers Easier to Use
Identifying user-dependent information that can be automatically collected helps build a user model by which 1) to predict what the user wants to do next and 2) to do relevant pre...
Hiroshi Motoda, Kenichi Yoshida
WSC
1998
15 years 6 months ago
A Practical Module-Based Simulation Model for Transportation-Inventory Systems
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
Soemon Takakuwa
USENIX
2000
15 years 6 months ago
Towards Availability Benchmarks: A Case Study of Software RAID Systems
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
Aaron B. Brown, David A. Patterson
« Prev « First page 1047 / 1252 Last » Next »