Sciweavers

15635 search results - page 477 / 3127
» Modelling and Design of VAML
Sort
View
ICCAD
1994
IEEE
92views Hardware» more  ICCAD 1994»
15 years 11 months ago
Reuse of design objects in CAD frameworks
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
Joachim Altmeyer, Stefan Ohnsorge, Bernd Schü...
WWW
2004
ACM
16 years 7 months ago
A method for modeling uncertainty in semantic web taxonomies
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...
Eero Hyvönen, Markus Holi
FDL
2003
IEEE
16 years 3 days ago
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aï¬...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
CL
1999
Springer
15 years 6 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
AUTOMATICA
2010
77views more  AUTOMATICA 2010»
15 years 5 months ago
Remarks on output feedback stabilization of two-species chemostat models
We consider a class of output feedback stabilization problems for chemostats with two species. We design dilution rate feedbacks that stabilize a componentwise positive equilibriu...
Frédéric Mazenc, Michael Malisoff