1027 search results - page 39 / 206 » A Model for Java with Wildcards |
139
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
115
click to vote
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
128
Voted
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...
132
click to vote
LCR
2000
Springer
15 years 6 months ago
2000
Springer
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
119
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...