10493 search results - page 1938 / 2099 » Dynamic Word Problems |
ICSE
2000
IEEE-ACM
13 years 11 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...
LCTRTS
2000
Springer
13 years 11 months ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
EUROCRYPT
1997
Springer
13 years 11 months ago
1997
Springer
Oblivious transfer (OT) is an important primitive in cryptography. In chosen one-out-of-two string OT, a sender offers two strings, one of which the other party, called the receive...
SAS
1995
Springer
13 years 11 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...