1883 search results - page 308 / 377 » Ordered theta graphs |
BROADNETS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Attacks launched over the Internet have become a pressing problem. Attackers make use of a variety of techniques to anonymize their traffic, in order to escape detection and pr...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents the optimization and evaluation of parallel I/O for the BIPS3D parallel irregular application, a 3-dimensional simulation of BJT and HBT bipolar devices. The p...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents image processing methods for the computation of morphometric changes associated with jaw surgery, precisely locating jaw displacements and quantitatively descr...