3663 search results - page 160 / 733 » Problems in the ontology of computer programs |
181
click to vote
WDAG
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
173
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a new paradigm in the computer architecture referred to as Polymorphic Instruction Set Computers (PISC). This new paradigm, in difference to RISC/CISC, introduces hard...
164
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
154
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
151
click to vote
INTERACT
2003
15 years 7 months ago
2003
: In this paper we discuss issues for the integration of computing power in mundane artefacts. We do so with reference to a recent project with a manufacturer of ovens for larger k...