3920 search results - page 420 / 784 » Challenges in Software Evolution |
182
click to vote
AFRICACRYPT
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...
171
Voted
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
184
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
212
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
144
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...