Sciweavers

1145 search results - page 109 / 229
» The Correctness of an Optimized Code Generation
Sort
View
IWCMC
2010
ACM
15 years 6 months ago
Joint network coding and beamforming techniques for downlink channels
We propose a joint optimization of Network Coding and MIMO techniques to improve the downlink channel throughput of a wireless base station. Specifically, we consider a MIMO base...
Monchai Lertsutthiwong, Thinh Nguyen, Bechir Hamda...
MICRO
1996
IEEE
173views Hardware» more  MICRO 1996»
15 years 8 months ago
Java Bytecode to Native Code Translation: The Caffeine Prototype and Preliminary Results
The Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in J...
Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, Wen-mei ...
140
Voted
GECCO
2003
Springer
191views Optimization» more  GECCO 2003»
15 years 9 months ago
Artificial Immune System for Classification of Gene Expression Data
DNA microarray experiments generate thousands of gene expression measurement simultaneously. Analyzing the difference of gene expression in cell and tissue samples is useful in dia...
Shin Ando, Hitoshi Iba
GECCO
2009
Springer
146views Optimization» more  GECCO 2009»
15 years 8 months ago
Evolving specific network statistical properties using a gene regulatory network model
Abstract. The generation of network topologies with specific, userspecified statistical properties is the aim of this paper. This is achieved through the use of an artifical Gene R...
Miguel Nicolau, Marc Schoenauer
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 10 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...