1304 search results - page 207 / 261 » Model Checking C Programs Using F-SOFT |
107
click to vote
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
121
click to vote
PPOPP
1997
ACM
15 years 6 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
150
Voted
IASTEDSE
2004
15 years 4 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
91
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...
106
click to vote
IJCAI
2003
15 years 4 months ago
2003
The computation of the first complete approximations of game-theoretic optimal strategies for fullscale poker is addressed. Several abstraction techniques are combined to represe...