4600 search results - page 722 / 920 » Presentation Of The Eurolang Project |
179
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
159
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
146
click to vote
RT
1995
Springer
15 years 10 months ago
1995
Springer
We present a simple and inexpensive method for computing the estimates of error in a hierarchical linear radiosity method. Similar to the approach used in 1 for constant radiosity ...
164
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...
155
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...