1271 search results - page 141 / 255 » On Simulation-Checking with Sequential Systems |
HPDC
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a study of six batch-pipelined scientific workloads that are candidates for execution on computational grids. Whereas other studies focus on the behavior of single app...
SBCCI
2003
ACM
14 years 3 months ago
2003
ACM
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
Partitioning an embedded system application among a microprocessor and custom hardware has been shown to improve the performance, power or energy of numerous examples. The advent ...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...
MDM
2010
Springer
14 years 3 months ago
2010
Springer
— People’s location histories imply the location correlation that states the relations between geographical locations in the space of human behavior. With the correlation, we c...