1053 search results - page 83 / 211 » On k-Path Covers and their applications |
154
click to vote
TASE
2007
IEEE
16 years 17 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
145
click to vote
ECTEL
2007
Springer
16 years 14 days ago
2007
Springer
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
146
click to vote
EMMCVPR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
167
click to vote
FPL
2007
Springer
16 years 14 days ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
123
click to vote
DSD
2006
IEEE
16 years 10 days ago
2006
IEEE
The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced developm...