5718 search results - page 946 / 1144 » Modeling Rule Precision |
166
Voted
LICS
1998
IEEE
15 years 11 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
177
Voted
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
180
click to vote
MICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
167
Voted
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
High performance compilers increasingly rely on accurate modeling of the machine resources to efficiently exploit the instruction level parallelism of an application. In this pape...
201
click to vote
ISN
1994
Springer
15 years 11 months ago
1994
Springer
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/prot...