1622 search results - page 86 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
134
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
150
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
146
click to vote
ICA3PP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Finite volume numerical methods have been widely studied, implemented and parallelized on multiprocessor systems or on clusters. Modern graphics processing units (GPU) pr...
123
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
117
Voted
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...