Sciweavers

3736 search results - page 480 / 748
» Hand-Writing Program Generator Generators
Sort
View
PEPM
1994
ACM
15 years 11 months ago
Dictionary-Free Overloading by Partial Evaluation
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Mark P. Jones
SIGADA
1993
Springer
15 years 11 months ago
A Project Support Environment Reference Model
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
Alan W. Brown, David J. Carney, Peter H. Feiler, P...
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 11 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
HPCC
2007
Springer
15 years 11 months ago
Checkpointing Aided Parallel Execution Model and Analysis
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
Laura Mereuta, Éric Renault
COOPIS
2004
IEEE
15 years 10 months ago
SPREE: Object Prefetching for Mobile Computers
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
Kristian Kvilekval, Ambuj K. Singh