9626 search results - page 1291 / 1926 » Invariant Based Programming |
192
click to vote
REFLECTION
1999
Springer
15 years 11 months ago
1999
Springer
Middleware has emerged as an important architectural component in supporting distributed applications. With the expanding role of middleware, however, a number of problems are emer...
180
Voted
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
This paper proposes a technique that enables performing multi-cycle (multiplication, division, square-root ...) computations in a single cycle. The technique is based on the notio...
195
click to vote
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
Database applications such as online transaction processing (OLTP) and decision support systems (DSS) constitute the largest and fastest-growing segment of the market for multipro...
184
Voted
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
181
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...