779 search results - page 143 / 156 » A programming model for concurrent object-oriented programs |
MICRO
2002
IEEE
14 years 1 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
SIGSOFT
2009
ACM
14 years 1 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
JSW
2008
13 years 9 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
TCAD
2008
13 years 8 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...