1392 search results - page 99 / 279 » A Calculus for Dynamic Linking |
130
click to vote
JSYML
2000
15 years 3 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
177
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
154
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
117
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Dynamically Linked Libraries (DLLs) promote software modularity, portability, and flexibility and their use has become widespread. In this paper, we characterize the behavior of f...
146
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Given the rate of growth of the Web, scalability of search engines is a key issue, as the amount of hardware and network resources needed is large, and expensive. In addition, sea...