7092 search results - page 30 / 1419 » Parallelizing constraint programs |
81
Voted
IPCO
2007
15 years 2 months ago
2007
121
Voted
CJ
2010
14 years 10 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
100
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Program code size has become a critical design constraint of embedded systems. Large program codes require large memories, which increase the size and cost of the chip. Poor co...
129
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
84
Voted
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...