2861 search results - page 116 / 573 » Constraint Programming |
91
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
143
Voted
SNPD
2003
15 years 3 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
112
Voted
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
124
Voted
PPSN
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
110
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...