4926 search results - page 277 / 986 » Two Graph Algorithms On an Associative Computing Model |
165
Voted
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
165
Voted
CGF
2002
15 years 6 months ago
2002
We extend the standard solution to comic rendering with a comic-style specular component. To minimise the computational overhead associated with this extension, we introduce two o...
164
Voted
FPGA
1998
ACM
15 years 10 months ago
1998
ACM
Multi-FPGA systems (MFSs) are used as custom computing machines, logic emulators and rapid prototyping vehicles. A key aspect of these systems is their programmable routing archit...
153
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
For types of data visualization where the cost of producing images is high, and the relationship between the rendering parameters and the image produced is less than obvious, a vi...
160
Voted
INFOCOM
2009
IEEE
16 years 24 days ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...