1499 search results - page 25 / 300 » Chopping Concurrent Programs |
110
Voted
IJCAI
1993
15 years 3 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
124
Voted
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
77
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
70
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
87
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
