Sciweavers

14382 search results - page 231 / 2877
» Time in Connectionist Models
Sort
View
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 10 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
WSC
2007
15 years 8 months ago
Folded standardized time series area variance estimators for simulation
We estimate the variance parameter of a stationary simulation-generated process using “folded” versions of standardized time series area estimators. We formulate improved vari...
Claudia Antonini, Christos Alexopoulos, David Gold...
WOA
2001
15 years 7 months ago
A Contract Decommitment Protocol for Automated Negotiation in Time Variant Environments
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
Federico Bergenti, Agostino Poggi, Matteo Somacher
JUCS
2006
109views more  JUCS 2006»
15 years 6 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
16 years 3 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi