4350 search results - page 542 / 870 » Case studies for contract-based systems |
162
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
183
Voted
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
191
Voted
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
167
Voted
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...
157
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Twitter—a microblogging service that enables users to post messages (“tweets”) of up to 140 characters—supports a variety of communicative practices; participants use Twit...