2076 search results - page 302 / 416 » Functional logic overloading |
102
Voted
AICCSA
2001
IEEE
15 years 5 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
123
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
120
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
129
click to vote
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...