1615 search results - page 192 / 323 » Adaptive programming in JAsCo |
177
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
159
click to vote
IWAN
1999
Springer
15 years 10 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
160
click to vote
QCQC
1998
Springer
15 years 10 months ago
1998
Springer
In order to design a quantum circuit that performs a desired quantum computation, it is necessary to find a decomposition of the unitary matrix that represents that computation in ...
166
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
As the disparity between processor and main memory performance grows, the number of execution cycles spent waiting for memory accesses to complete also increases. As a result, lat...
176
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...