645 search results - page 85 / 129 » Pure patterns type systems |
121
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
126
click to vote
CONEXT
2006
ACM
15 years 9 months ago
2006
ACM
Accurate network traffic classification is an important task. We intend to develop an intelligent classification system by learning the types of service inside a network flow usin...
122
click to vote
HPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
GI
2009
Springer
15 years 7 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
128
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...