7124 search results - page 1007 / 1425 » Programming Languages and Operating Systems |
157
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
135
Voted
POS
1994
Springer
15 years 9 months ago
1994
Springer
During the lifetime of an application, the objects and bindings in a persistent store may require modification in order to fix bugs or incorporate changes. Two mechanisms, Octopus...
160
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
135
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Support for optimistic parallelism such as thread-level speculation (TLS) and transactional memory (TM) has been proposed to ease the task of parallelizing software to exploit the...
154
Voted
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...