3825 search results - page 256 / 765 » More on pooling spaces |
164
click to vote
PRIMA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
146
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
161
click to vote
KBSE
2006
IEEE
16 years 18 days 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...
164
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
Abstract. In this paper we propose a new method to perform incremental discretization. The basic idea is to perform the task in two layers. The first layer receives the sequence o...
180
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...