Sciweavers

2647 search results - page 295 / 530
» Solving Term Inequalities
Sort
View
IMSCCS
2007
IEEE
16 years 26 days ago
TOPSAW Sawing Optimization Analysis Using Grid Computing
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
Ashwin Bommathanahalli, Maoyuan Xie, Zhifeng Yun, ...
KBSE
2007
IEEE
16 years 25 days ago
Nighthawk: a two-level genetic-random unit test data generator
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
James H. Andrews, Felix Chun Hang Li, Tim Menzies
TASE
2007
IEEE
16 years 25 days ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
VTC
2007
IEEE
130views Communications» more  VTC 2007»
16 years 25 days ago
Local Interference Coordination in Cellular OFDMA Networks
The currently emerging 802.16e (WiMax) and 3GPP Long Term Evolution (LTE) cellular systems are based on Orthogonal Frequency Division Multiple Access (OFDMA). As OFDMA is basicall...
Marc Necker
VTC
2007
IEEE
198views Communications» more  VTC 2007»
16 years 25 days ago
A Distributed Node Scheduling Protocol Considering Sensing Coverage in Wireless Sensor Networks
Abstract— A crucial issue in deploying wireless sensor networks is to perform a sensing task in an area of interest in an energy-efficient manner since sensor nodes have limited...
Jaekyu Cho, Gilsoo Kim, Taekyoung Kwon, Yanghee Ch...