20126 search results - page 3569 / 4026 » Timed Transition Systems |
213
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
213
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
135
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper analytically studies retransmission-based partially reliable transport service. Results show that partially reliable transport service provides increasingly higher thro...
217
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
We experiment with sequential and parallel versions of the Karatsuba multiplication algorithm implemented under the paclib computer algebra system on a Sequent Symmetry shared-memo...
150
click to vote
FPL
1997
Springer
15 years 11 months ago
1997
Springer
Controllers for dynamically recon gurable FPGAs that are capable of supporting multiple independent tasks simultaneously need to be able to place designs at run{time when the seque...