3056 search results - page 163 / 612 » Open Implementation Analysis and Design |
130
Voted
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. However, as observed in [1], “Considering the prevalence of ...
126
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
127
click to vote
SPAA
2003
ACM
15 years 9 months ago
2003
ACM
The increasing application space of interconnection networks now encompasses several applications, such as packet routing and I/O interconnect, where the throughput of a routing a...
144
click to vote
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
130
click to vote
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...