345 search results - page 5 / 69 » GraphML Progress Report |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
91
Voted
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
91
Voted
DALT
2004
Springer
15 years 2 months ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
89
Voted
ESEM
2009
ACM
15 years 4 months ago
2009
ACM
Although security inspections have proven to be a very efficient means for assuring software security early in the software development lifecycle, they are not used extensively be...
71
Voted
FPGA
2004
ACM
15 years 2 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...