4616 search results - page 785 / 924 » Extreme Components Analysis |
114
Voted
SAC
2010
ACM
15 years 8 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...
143
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...
119
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents an automatic method to customize embedded application-specific instruction processors (ASIPs) based on compiler analysis. ASIPs, also known as embedded soft c...
148
click to vote
FGR
2002
IEEE
15 years 8 months ago
2002
IEEE
A motion-based, correspondence-free technique for human gait recognition in monocular video is presented. We contend that the planar dynamics of a walking person are encoded in a ...
104
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...