374 search results - page 59 / 75 » Applying Static Analysis to Software Architectures |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
161
click to vote
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
CC
2010
Springer
14 years 3 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
EUSAI
2003
Springer
14 years 1 months ago
2003
Springer
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting point is an analysis of the main activities that users...
SAC
2010
ACM
14 years 1 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...