861 search results - page 80 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
101
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Research on learning suggests the importance of helping students organize their knowledge around meaningful patterns of information. This paper reports on a multi-institutional st...
118
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
149
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
147
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
137
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...