Sciweavers

1154 search results - page 114 / 231
» Mathematizing C concurrency
Sort
View
CHI
2005
ACM
14 years 9 months ago
Automatic generation of high coverage usability tests
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
Renée C. Bryce
ICCS
2009
Springer
14 years 3 months ago
A Second Order Adjoint Method to Targeted Observations
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
Humberto C. Godinez, Dacian N. Daescu
IJCNN
2008
IEEE
14 years 3 months ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
John Seiffertt, Donald C. Wunsch
VR
2008
IEEE
103views Virtual Reality» more  VR 2008»
14 years 3 months ago
VFire: Virtual Fire in Realistic Environments
The destructive capacity of wildfires and the dangers and limitations associated with observing actual wildfires has led researchers to develop mathematical models in order to b...
Roger V. Hoang, Joseph D. Mahsman, David T. Brown,...
IWSOS
2007
Springer
14 years 3 months ago
A New Approach to Adaptive Multi-routing Protocol for Mobile Ad Hoc Network
A routing protocol is designed considering a particular environment all the time which is not possible in the case of practical ad hoc networks. Because of the uncertainty in topol...
Ung Heo, Deepak G. C., Jaeho Choi