8874 search results - page 258 / 1775 » A New Implementation of Automath |
157
click to vote
OOPSLA
2004
Springer
16 years 19 hour ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Feedback control laws are predominantly implemented on digital platforms as periodic tasks. Although periodicity simplifies the analysis and design of the implementati...
167
click to vote
ICICS
2001
Springer
15 years 11 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
175
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and due...
173
click to vote
PDPTA
2004
15 years 8 months ago
2004
Standard "new-Reno" TCP faces some performance limitations in very high throughput IP WAN networks, (e.g., computing grids) due to a long end-to-end congestion feedback l...