14056 search results - page 78 / 2812 » Consistency in Model Integration |
131
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
137
Voted
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
132
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
120
click to vote
ESANN
2006
15 years 6 months ago
2006
Abstract. We consider regression models involving multilayer perceptrons (MLP) with one hidden layer and a Gaussian noise. The estimation of the parameters of the MLP can be done b...
102
click to vote
JFP
2006
15 years 4 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...