4695 search results - page 410 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
158
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
191
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
193
click to vote
SRDS
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
182
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
170
click to vote
JCC
2000
15 years 6 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...