Sciweavers

2797 search results - page 316 / 560
» Code query by example
Sort
View
CODES
2009
IEEE
15 years 11 months ago
On compile-time evaluation of process partitioning transformations for Kahn process networks
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
Sjoerd Meijer, Hristo Nikolov, Todor Stefanov
FMICS
2009
Springer
15 years 10 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
TLCA
2009
Springer
15 years 10 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
GLOBECOM
2008
IEEE
15 years 10 months ago
K-Best Sphere Detection for the Sphere Packing Modulation Aided SDMA/OFDM Uplink
—Recently, the turbo-detected Sphere Packing (SP) aided Space-Time Block-Coding (STBC) STBC-SP scheme was demonstrated to provide useful performance improvements over conventiona...
Li Wang, Osamah Alamri, Lajos Hanzo
CODES
2007
IEEE
15 years 10 months ago
Performance analysis and design space exploration for high-end biomedical applications: challenges and solutions
High-end biomedical applications are a good target for specificpurpose system-on-chip (SoC) implementations. Human heart electrocardiogram (ECG) real-time monitoring and analysis ...
Iyad Al Khatib, Davide Bertozzi, Axel Jantsch, Luc...