4940 search results - page 537 / 988 » On the Complexity of Universal Programs |
192
click to vote
VL
1994
IEEE
15 years 11 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
185
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
180
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
180
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
166
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...