Sciweavers

3951 search results - page 162 / 791
» Automatic amortized analysis
Sort
View
IPPS
2006
IEEE
15 years 11 months ago
Decentralized runtime analysis of multithreaded applications
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 10 months ago
Analysis of Human Motion for Humanoid Robots
— A great challange in robotics is to make robots more like humans. One important aspect is to make robots move like humans and recognize their motions. Both tasks are based on h...
Jörg Moldenhauer, Ingo Boesnach, Thomas Beth,...
IPPS
2005
IEEE
15 years 10 months ago
Automated Analysis of Memory Access Behavior
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
Michael Gerndt, Tianchao Li
120
Voted
RE
2005
Springer
15 years 10 months ago
Quality Analysis of NL Requirements: An Industrial Case Study
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
Antonio Bucchiarone, Stefania Gnesi, P. Pierini
169
Voted
MVA
2000
157views Computer Vision» more  MVA 2000»
15 years 6 months ago
Performance Analysis of Gabor Responses in Face Recognition
In this paper, we investigate the behavior of Gabor responses at automatically located facial feature points for face recognition. In our approach, a set of feature points on the ...
Menaka Rajapakse, Yan Guo