1120 search results - page 182 / 224 » time 1999 |
120
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
111
Voted
ICVS
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
82
Voted
IEAAIE
1999
Springer
15 years 4 months ago
1999
Springer
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...
102
click to vote
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we describe Frontier, an FPGA placement system that uses design macro-blocks in conjuction with a series of placement algorithms to achieve highly-routable and high-...
128
click to vote
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...