768 search results - page 90 / 154 » Symbolic and Abstract Interpretation for C C Programs |
127
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
157
click to vote
GPCE
2003
Springer
15 years 10 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
149
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
151
click to vote
OL
2010
15 years 3 months ago
2010
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
144
click to vote
SIAMJO
2010
15 years 3 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...