1080 search results - page 35 / 216 » Modeling Constraint Programs with Software Technology Standa... |
121
click to vote
ER
2000
Springer
15 years 6 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
119
Voted
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
123
click to vote
ATMOS
2007
15 years 3 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
215
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
DAC
2004
ACM
16 years 3 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...