Sciweavers

703 search results - page 27 / 141
» On Addressing the Computer Science Crisis
Sort
View
SIGCSE
2008
ACM
412views Education» more  SIGCSE 2008»
14 years 9 months ago
Undergraduate data communications and networking projects using opnet and wireshark software
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
Vasil Hnatyshin, Andrea F. Lobo
ACSC
2009
IEEE
15 years 4 months ago
Improving the Transparency of Proxy Injection in Java
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
Hendrik Gani, Caspar Ryan
SPIN
2005
Springer
15 years 3 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
CAD
2005
Springer
14 years 9 months ago
Shape-based searching for product lifecycle applications
Estimates suggest that more than 75% of engineering design activity comprises reuse of previous design knowledge to address a new design problem. Reusing design knowledge has grea...
Natraj Iyer, Subramaniam Jayanti, Kuiyang Lou, Yag...
136
Voted

Publication
177views
16 years 8 months ago
Terabit Switching: A Survey of Techniques and Current Products
This survey paper explains the issues in designing terabit routers and the solutions for them. The discussion includes multi-layer switching, route caching, label switching, and ef...
Amit Singhal, Raj Jain