Sciweavers

2947 search results - page 86 / 590
» Analyzing Program Analyses
Sort
View
117
Voted
ICMB
2006
IEEE
101views Business» more  ICMB 2006»
15 years 8 months ago
Personal Heart Monitoring and Rehabilitation System using Smart Phones
This paper discusses a personalized heart monitoring system using smart phones and wireless (bio) sensors. We combine ubiquitous computing with mobile health technology to monitor...
Peter Leijdekkers, Valérie Gay
APSEC
2005
IEEE
15 years 8 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ACSC
2005
IEEE
15 years 8 months ago
Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
Phung Hua Nguyen, Jingling Xue
125
Voted
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 1 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
ECOOP
1998
Springer
15 years 6 months ago
Flexible Alias Protection
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
James Noble, Jan Vitek, John Potter