5634 search results - page 328 / 1127 » About Abstract Classes |
175
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
145
Voted
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
200
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
139
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
164
Voted
SRDS
2000
IEEE
15 years 10 months ago
2000
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg [2] as a mechanism that provides information about process failures. Depending on the properties the...