6201 search results - page 1133 / 1241 » Implementation of Axiomatic Language |
183
click to vote
VEE
2005
ACM
15 years 10 months ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
239
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
142
Voted
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
149
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
163
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...