Sciweavers

1661 search results - page 229 / 333
» Advanced carving techniques
Sort
View
ICFP
1998
ACM
14 years 2 months ago
Intensional Polymorphism in Type-Erasure Semantics
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...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
EDBT
1998
ACM
124views Database» more  EDBT 1998»
14 years 2 months ago
Maintaining Temporal Views over Non-Temporal Information Sources for Data Warehousing
An importantuse of data warehousing is to provide temporal views over the history of source data that may itself be non-temporal. While recent work in view maintenance is applicab...
Jun Yang 0001, Jennifer Widom
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
14 years 2 months ago
Performance Evaluation of a C++ Library Based Multithreaded System
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
John G. Holm, Steven Parkes, Prithviraj Banerjee
HPDC
1997
IEEE
14 years 2 months ago
Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging
New network technology continues to improve both the latency and bandwidth of communication in computer clusters. The fastest high-speed networks approach or exceed the I/O bus ba...
Ken Yocum, Jeffrey S. Chase, Andrew J. Gallatin, A...
PLILP
1998
Springer
14 years 2 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...