Sciweavers

1608 search results - page 209 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
WORDS
2003
IEEE
14 years 1 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»
14 years 1 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
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
14 years 1 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»
14 years 28 days 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
14 years 17 days 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