Sciweavers

2204 search results - page 230 / 441
» Analyzing architectural styles
Sort
View
SDL
2007
171views Hardware» more  SDL 2007»
15 years 2 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
DAGSTUHL
2001
15 years 2 months ago
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
Katharina Mehner
80
Voted
NIPS
1998
15 years 2 months ago
Efficient Bayesian Parameter Estimation in Large Discrete Domains
In this paper we examine the problem of estimating the parameters of a multinomial distribution over a large number of discreteoutcomes,most of which do not appearin the training ...
Nir Friedman, Yoram Singer
92
Voted
WSC
2000
15 years 2 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
77
Voted
NECO
2008
156views more  NECO 2008»
15 years 20 days ago
Dynamical Constraints on Using Precise Spike Timing to Compute in Recurrent Cortical Networks
ns. We have previously developed an abstract dynamical system for networks of spiking neurons that has allowed us to identify the criterion for the stationary dynamics of a network...
Arunava Banerjee, Peggy Seriès, Alexandre P...