Sciweavers

3053 search results - page 352 / 611
» Performance of Generative Programming Based Protocol Impleme...
Sort
View
DAC
2003
ACM
16 years 4 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
PPPJ
2006
ACM
15 years 9 months ago
The Project Maxwell assembler system
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
Bernd Mathiske, Douglas N. Simon, Dave Ungar
CGO
2005
IEEE
15 years 8 months ago
A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
Xiaoru Dai, Antonia Zhai, Wei-Chung Hsu, Pen-Chung...
LCN
2006
IEEE
15 years 9 months ago
Maximizing Differentiated Throughput in IEEE 802.11e Wireless LANs
The throughput performance of the Distributed Coordination Function (DCF) of the IEEE 802.11 MAC protocol quickly degrades as the number of contending stations increases. To solve...
Jongwon Yoon, Sangki Yun, Hyogon Kim, Saewoong Bah...
ISSRE
2005
IEEE
15 years 8 months ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo