11784 search results - page 800 / 2357 » Improving Software Process Improvement |
177
click to vote
ICTAI
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
161
click to vote
CAAP
1990
15 years 11 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
194
click to vote
EH
2004
IEEE
15 years 11 months ago
2004
IEEE
There exist several approaches to improve the quality of evolution. In this paper, a priori design knowledge as a part of evolving systems is discussed. Further, experiments are r...
190
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
174
click to vote
FPGA
2006
ACM
15 years 11 months ago
2006
ACM
Abstract-- Increasing device densities allow chip manufacturers to integrate more functionality onto a single piece of silicon. FPGA manufacturers, such as Xilinx and Altera, use t...