1356 search results - page 157 / 272 » The ideal of verified software |
172
click to vote
PAIRING
2007
Springer
16 years 14 days ago
2007
Springer
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
158
click to vote
SOCO
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
141
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of ...
149
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
159
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Divisible load applications consist of a load, that is input data and associated computation, that can be divided arbitrarily into independent pieces. Such applications arise in m...