1304 search results - page 229 / 261 » Model Checking C Programs Using F-SOFT |
136
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
132
click to vote
CONEXT
2008
ACM
15 years 4 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
127
click to vote
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
141
click to vote
CGIM
2003
15 years 3 months ago
2003
A novel snake model suitable for edge extraction of bandshape objects is presented in this paper. Based on the proposed model, an edge tracking system, EdgeTrak, has been develope...
140
click to vote
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...