9110 search results - page 427 / 1822 » Formally-Based Design Evaluation |
168
click to vote
METRICS
2003
IEEE
16 years 28 days ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
235
click to vote
MSE
2002
IEEE
16 years 18 days ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...
232
click to vote
PG
2002
IEEE
16 years 18 days ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
191
click to vote
COLCOM
2009
IEEE
16 years 11 days ago
2009
IEEE
—Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery ...
174
click to vote
CHARME
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...