506 search results - page 57 / 102 » Where Is the Value in a Program Verifier |
115
click to vote
SDL
2001
15 years 1 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
89
Voted
WSC
2004
15 years 1 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
100
Voted
JUCS
2008
15 years 15 days ago
2008
: Weak References constitute an elegant mechanism for an application to interact with its garbage collector. In most of its typical uses, weak references are used through weak tabl...
86
Voted
IJACTAICIT
2010
14 years 9 months ago
2010
In this article, a hybrid optimization method has been proposed consisting of modified ant colony systems (ACSs) and constrained nonlinear programming (NLP) to solve the problems ...
110
Voted
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...