6274 search results - page 1036 / 1255 » Proofs, Programs, Processes |
119
click to vote
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
137
Voted
IWAN
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
106
click to vote
KDD
2000
ACM
15 years 4 months ago
2000
ACM
The problem of extracting a minimal number of data points from a large dataset, in order to generate a support vector machine (SVM) classifier, is formulated as a concave minimiza...
93
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
104
Voted
FPGA
1995
ACM
15 years 4 months ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...