2493 search results - page 185 / 499 » Tool Support for Design by Contract |
167
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents an implementation-oriented breadthfirst tree search MIMO detector design solution. Techniques at algorithm and VLSI architecture levels are develop...
193
click to vote
CSSE
2006
IEEE
15 years 7 months ago
2006
IEEE
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
173
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
141
click to vote
PG
2003
IEEE
16 years 13 days ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
235
click to vote
IEEEICCI
2002
IEEE
16 years 2 days ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...