Sciweavers

4166 search results - page 185 / 834
» A modular module system
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 3 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 3 months ago
Dense and Switched Modular Primitives for Bond Graph Model Design
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman,...
FOSSACS
2001
Springer
15 years 2 months ago
On the Modularity of Deciding Call-by-Need
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
Irène Durand, Aart Middeldorp
68
Voted
VTC
2007
IEEE
116views Communications» more  VTC 2007»
15 years 4 months ago
On the Use of Implicit Pilots for Channel Estimation with OFDM Modulations
Abstract - A coherent detection of OFDM signals (Orthogonal Frequency Division Multiplexing) allows good performances in severely time-dispersive channels. However, coherent receiv...
Rui Dinis, Nuno Souto, João Carlos Silva, A...
76
Voted
VTC
2007
IEEE
104views Communications» more  VTC 2007»
15 years 4 months ago
Soft-Bit Assisted Iterative AMR-WB Source-Decoding and Turbo-Detection of Channel-Coded Differential Space-Time Spreading Using
Abstract – Jointly optimised iterative source- and channel-decoding is used for enhancing the error resilience of the Adaptive Multi Rate WideBand (AMR-WB) speech codec. The resu...
Noor S. Othman, Mohammed El-Hajjar, Osamah Alamri,...