2466 search results - page 224 / 494 » Concurrent Clustered Programming |
102
Voted
IWMM
2004
Springer
15 years 6 months ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
117
click to vote
IFIP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
100
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...