Sciweavers

2500 search results - page 382 / 500
» Specifying Behavior in C
Sort
View
124
Voted
ESEC
1999
Springer
15 years 7 months ago
Comparison Checking: An Approach to Avoid Debugging of Optimized Code
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
185
Voted
VLSID
1999
IEEE
139views VLSI» more  VLSID 1999»
15 years 7 months ago
Processor Modeling for Hardware Software Codesign
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
V. Rajesh, Rajat Moona
110
Voted
KDD
1999
ACM
145views Data Mining» more  KDD 1999»
15 years 7 months ago
Discovery of Fraud Rules for Telecommunications - Challenges and Solutions
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...
Saharon Rosset, Uzi Murad, Einat Neumann, Yizhak I...
124
Voted
ICRA
1998
IEEE
141views Robotics» more  ICRA 1998»
15 years 7 months ago
On Discontinuous Human Control Strategies
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
Michael C. Nechyba, Yangsheng Xu
107
Voted
VRML
1998
ACM
15 years 7 months ago
Tele-Experiments - Experiments on Spatial Cognition Using VRML-Based Multimedia
This paper describes an application of VRML-based multimedia to the domain of spatial cognition experiments. Typically, such experiments involve human subjects that are presented ...
Galia Givaty, Hendrik A. H. C. van Veen, Chris Chr...