1615 search results - page 192 / 323 » Adaptive programming in JAsCo |
137
Voted
LICS
1999
IEEE
15 years 7 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'...
124
Voted
IWAN
1999
Springer
15 years 7 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...
128
click to vote
QCQC
1998
Springer
15 years 7 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 ...
126
Voted
MICRO
1997
IEEE
15 years 7 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...
134
Voted
VL
1996
IEEE
15 years 7 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...