7167 search results - page 402 / 1434 » Answer Set Programming |
195
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
180
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
189
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
164
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...