Sciweavers

743 search results - page 59 / 149
» Constraint Programming Architectures: Review and a New Propo...
Sort
View
TPLP
2002
117views more  TPLP 2002»
15 years 5 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
CLEIEJ
2002
113views more  CLEIEJ 2002»
15 years 6 months ago
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
Marco T. Morazán, Douglas R. Troeger, Myles...
ECLIPSE
2005
ACM
15 years 8 months ago
Tool support for feature-oriented software development: featureIDE: an Eclipse-based approach
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
Thomas Leich, Sven Apel, Laura Marnitz, Gunter Saa...
MICRO
2007
IEEE
184views Hardware» more  MICRO 2007»
16 years 17 days ago
Data Access Partitioning for Fine-grain Parallelism on Multicore Architectures
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
Michael L. Chu, Rajiv A. Ravindran, Scott A. Mahlk...
ASPDAC
2004
ACM
93views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Layer assignment for reliable system-on-package
—The routing environment for the new emerging mixed-signal System-on-Package (SOP) technology is more advanced than that of the conventional PCB or MCM technology – pins are lo...
Jacob R. Minz, Sung Kyu Lim