229 search results - page 40 / 46 » Issues in Analyzing the Behavior of Event Dispatching System... |
HPCA
1995
IEEE
13 years 12 months ago
1995
IEEE
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...
CLUSTER
2008
IEEE
14 years 2 months ago
2008
IEEE
—A key benefit of utility data centers and cloud computing infrastructures is the level of consolidation they can offer to arbitrary guest applications, and the substantial savi...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
The general goal of the paper is to show the normative/deontic nature of conventions. Conventions are traditionally defined as regularity of behavior based on expectations evolved...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...