3801 search results - page 754 / 761 » An Approach to Modeling Software Safety |
107
Voted
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
109
click to vote
AMKM
2003
Springer
15 years 4 months ago
2003
Springer
We first describe a multi-agent system managing a corporate memory in the form of a corporate semantic web. We then focus on a newly introduced society of agents in charge of wrap...
98
Voted
EGH
2003
Springer
15 years 4 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
112
click to vote
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
108
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...