9503 search results - page 195 / 1901 » Authenticated System Calls |
184
Voted
RTA
2004
Springer
16 years 14 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
149
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...
188
Voted
FLAIRS
2008
15 years 9 months ago
2008
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
174
click to vote
ICDCS
2003
IEEE
16 years 12 days ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
168
click to vote
PDPTA
2004
15 years 8 months ago
2004
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes...