Sciweavers

3373 search results - page 74 / 675
» Linear transformations on codes
Sort
View
PLDI
1997
ACM
15 years 2 months ago
Data-centric Multi-level Blocking
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
AGTIVE
2007
Springer
15 years 4 months ago
The EMF Model Transformation Framework
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Chr...
ICDCS
2007
IEEE
15 years 4 months ago
Differentiated Data Persistence with Priority Random Linear Codes
Both peer-to-peer and sensor networks have the fundamental characteristics of node churn and failures. Peers in P2P networks are highly dynamic, whereas sensors are not dependable...
Yunfeng Lin, Baochun Li, Ben Liang
MOBILIGHT
2010
14 years 7 months ago
Spectral Efficiency Using Combinations of Transmit Antenna Selection with Linear Dispersion Code Selection
In this paper the objective is to enhance the spectral efficiency using combinations of transmit antenna selection with Linear Dispersion Code Selection. Both bit error rate minimi...
Ismael Gutiérrez, Faouzi Bader