Sciweavers

703 search results - page 27 / 141
» On Addressing the Computer Science Crisis
Sort
View
164
Voted
SIGCSE
2008
ACM
412views Education» more  SIGCSE 2008»
15 years 3 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 10 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
127
Voted
SPIN
2005
Springer
15 years 9 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
153
Voted
CAD
2005
Springer
15 years 3 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...
193
Voted

Publication
177views
17 years 1 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