Sciweavers

973 search results - page 34 / 195
» An Integrated Self-Testing Framework for Autonomic Computing...
Sort
View
JAR
1998
134views more  JAR 1998»
15 years 3 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
158
Voted
GECCO
2008
Springer
160views Optimization» more  GECCO 2008»
15 years 4 months ago
Self-managing agents for dynamic scheduling in manufacturing
The main purpose of this paper is to propose a Multi-Agent Autonomic and Bio-Inspired based framework with selfmanaging capabilities to solve complex scheduling problems using coo...
Ana Madureira, Filipe Santos, Ivo Pereira
138
Voted
EGC
2005
Springer
15 years 9 months ago
The Gridkit Distributed Resource Management Framework
Traditionally, distributed resource management/ scheduling systems for the Grid (e.g. Globus/ GRAM/ Condor-G) have tended to deal with coarsegrained and concrete resource types (e....
Wei Cai, Geoff Coulson, Paul Grace, Gordon S. Blai...
112
Voted
DATE
2006
IEEE
154views Hardware» more  DATE 2006»
15 years 9 months ago
An integrated open framework for heterogeneous MPSoC design space exploration
In recent years, increasing manufacturing density has allowed the development of Multi-Processor Systems-on-Chip (MPSoCs). Application-Specific Instruction Set Processors (ASIPs)...
Federico Angiolini, Jianjiang Ceng, Rainer Leupers...
NAACL
2010
15 years 1 months ago
Integrating Joint n-gram Features into a Discriminative Training Framework
Phonetic string transduction problems, such as letter-to-phoneme conversion and name transliteration, have recently received much attention in the NLP community. In the past few y...
Sittichai Jiampojamarn, Colin Cherry, Grzegorz Kon...