2251 search results - page 80 / 451 » Specification and Implementation Problems for C |
152
Voted
TPDS
2002
15 years 3 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
119
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
127
Voted
PARMA
2004
15 years 4 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
109
Voted
INTERACT
2003
15 years 4 months ago
2003
: Defect classification can improve product quality and motivate process improvement. Several defect classification schemes have been developed and used with good results in softwa...
117
Voted
JFP
2008
15 years 3 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...