571 search results - page 44 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
AHS
2007
IEEE
15 years 1 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
COLCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
TJS
2008
14 years 9 months ago
2008
A parallel file may be physically stored on several independent disks and logically partitioned by several processors. This paper presents general algorithms for mapping between t...
114
click to vote
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...