17505 search results - page 3180 / 3501 » Use Cases as Workflows |
231
click to vote
LICS
2002
IEEE
16 years 11 days ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
187
click to vote
MICRO
2002
IEEE
16 years 11 days ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
196
Voted
SIGMOD
2010
ACM
16 years 8 days ago
2010
ACM
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...
182
click to vote
SYSTOR
2010
ACM
16 years 8 days ago
2010
ACM
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...
220
click to vote
ICS
2010
Tsinghua U.
16 years 7 days ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...