Sciweavers

1608 search results - page 209 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
WORDS
2003
IEEE
15 years 6 months ago
Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
E. Douglas Jensen
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 6 months ago
Software Decelerators
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
Eric Keller, Gordon J. Brebner, Philip James-Roxby
69
Voted
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 6 months ago
Dense and Switched Modular Primitives for Bond Graph Model Design
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman,...
DSD
2002
IEEE
93views Hardware» more  DSD 2002»
15 years 6 months ago
Fault Latencies of Concurrent Checking FSMs
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
Roman Goot, Ilya Levin, Sergei Ostanin
LPNMR
2009
Springer
15 years 6 months ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer