3573 search results - page 403 / 715 » Reasoning about Codata |
153
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
145
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
150
click to vote
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
1998
Springer
In the course of acquiring knowledge about layouts and maps spatial information can undergo considerable changes and distortions, which systematically affect knowledge-based judgme...
174
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
142
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit partitioning tools. Most iterative improvement techniques for circuit netlists like the Fidd...