2777 search results - page 175 / 556 » Example centric programming |
109
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
106
Voted
IIE
2007
15 years 20 days ago
2007
This article presents an approach to using open-source tools and open-source projects to add realistic and practical examples to a course on software design in a professional maste...
116
Voted
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— An image sensor in which each pixel has a processing element is called a vision chip. The vision chip can perform real-time visual processing at a high frame rate of 10...
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
85
Voted
HOTOS
2003
IEEE
15 years 6 months ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...