943 search results - page 121 / 189 » How should data structures and algorithms be taught |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
ICDE
2009
IEEE
13 years 7 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
VLDB
1991
ACM
14 years 23 days ago
1991
ACM
We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding ...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...