10585 search results - page 1755 / 2117 » The Orc Programming Language |
158
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Java applications rely on Just-In-Time (JIT) compilers or adaptive compilers to generate and optimize binary code at runtime to boost performance. In conventional Java Virtual Mac...
175
click to vote
ITP
2010
15 years 6 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
118
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
166
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
166
click to vote
EUSAI
2007
Springer
15 years 6 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...