834 search results - page 151 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
104
click to vote
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
108
click to vote
NOSSDAV
2005
Springer
15 years 5 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
SIGCOMM
2004
ACM
15 years 5 months ago
2004
ACM
Multihoming is often used by large enterprises and stub ISPs to connect to the Internet. In this paper, we design a series of novel smart routing algorithms to optimize cost and p...
100
click to vote
DSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Network on Chip (NoC) is a new paradigm for designing core based System on Chip which supports high degree of reusability and is scalable. In this paper we describe an efficient t...