2251 search results - page 33 / 451 » Specification and Implementation Problems for C |
116
click to vote
GRC
2008
IEEE
15 years 3 months ago
2008
IEEE
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
102
click to vote
RTAS
1996
IEEE
15 years 6 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
119
click to vote
FOCS
2010
IEEE
14 years 12 months ago
2010
IEEE
We give subexponential time approximation algorithms for UNIQUE GAMES and the SMALL-SET EXPANSION. Specifically, for some absolute constant c, we give:
116
click to vote
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
QSIC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...