4719 search results - page 685 / 944 » Newtonian program analysis |
181
Voted
ECLIPSE
2006
ACM
16 years 7 days ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
147
click to vote
ISPASS
2005
IEEE
15 years 12 months ago
2005
IEEE
Cosmic-ray induced soft errors in cache memories are becoming a major threat to the reliability of microprocessor-based systems. In this paper, we present a new method to accurate...
165
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
163
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
195
click to vote
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...