419 search results - page 65 / 84 » A Thread of HOL Development |
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
Chip Multiprocessors (CMPs) are flexible, high-frequency platforms on which to support Thread-Level Speculation (TLS). However, for TLS to deliver on its promise, CMPs must explo...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
81
Voted
ICDCS
2003
IEEE
15 years 2 months 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...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
83
Voted
NOSSDAV
2001
Springer
15 years 2 months ago
2001
Springer
Operating system enhancements to support real-time and multimedia applications often include specializations and extensions of kernel functionality, as with the kernel HTTP daemon...