7452 search results - page 1365 / 1491 » A Semantics for Multiprocessor Systems |
155
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
127
click to vote
GIS
1999
ACM
15 years 8 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
123
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
150
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
129
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...