4716 search results - page 671 / 944 » Iterative-free program analysis |
175
click to vote
ACMSE
2005
ACM
16 years 5 days 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...
169
click to vote
SIGCSE
2005
ACM
16 years 5 days 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...
205
click to vote
AADEBUG
2005
Springer
16 years 5 days 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...
187
click to vote
CC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
186
click to vote
CIVR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we present a framework for segmenting the news programs into different story topics. The proposed method utilizes both visual and text information of the v...