Sciweavers

14331 search results - page 202 / 2867
» On the modeling and analysis of obligations
Sort
View
TCAD
2008
75views more  TCAD 2008»
15 years 6 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...
JSW
2007
94views more  JSW 2007»
15 years 6 months ago
Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
David Saint-Voirin, Christophe Lang, Hervé ...
INFORMATICALT
1998
89views more  INFORMATICALT 1998»
15 years 6 months ago
A Mathematical Analysis of an Age-sex-space-structured Population Dynamics Model with Random Mating and Females' Pregnancy
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...
Vladas Skakauskas
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of the pilot contamination effect in very large multicell multiuser MIMO systems for physical channel models
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
Hien Quoc Ngo, Thomas L. Marzetta, Erik G. Larsson
DATE
2008
IEEE
125views Hardware» more  DATE 2008»
16 years 29 days ago
Current source based standard cell model for accurate signal integrity and timing analysis
— The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep submicron...
Amit Goel, Sarma B. K. Vrudhula