382 search results - page 2 / 77 » Using C in CS1: evaluating the Stanford experience |
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
MSE
2005
IEEE
13 years 11 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
PUC
2011
13 years 9 days ago
2011
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
SIGCOMM
2004
ACM
13 years 10 months ago
2004
ACM
All Internet routers contain buffers to hold packets during times of congestion. Today, the size of the buffers is determined by the dynamics of TCP’s congestion control algor...
ASPLOS
1992
ACM
13 years 9 months ago
1992
ACM
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...