1342 search results - page 121 / 269 » Ordered Programs as Abductive Systems |
AMC
2007
13 years 10 months ago
2007
In a distributed computing system (DCS), we need to allocate a number of modules to different processors for execution. It is desired to maximize the processor synergism in order...
SQJ
2002
13 years 9 months ago
2002
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
The problem considered in the present article is optimal design of network topologies in multi-agent systems in order to make communication on the network as efficient as possible ...
ICNP
2009
IEEE
14 years 4 months ago
2009
IEEE
—Future 4G cellular networks are featured with high data rate and improved coverage, which will enable realtime video multicast and broadcast services. Scalable video coding is v...