2881 search results - page 77 / 577 » Model Checking for Programming Languages using Verisoft |
157
Voted
CIBSE
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
124
click to vote
DSL
2009
15 years 4 days ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
205
Voted
AOSD
2011
ACM
14 years 9 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
129
click to vote
PLDI
2003
ACM
15 years 7 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...