178 search results - page 17 / 36 » An Application of Program Derivation Techniques to 18th-Cent... |
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
ERSHOV
2006
Springer
14 years 8 days ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
FCCM
2002
IEEE
14 years 1 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
SIGCOMM
1997
ACM
14 years 24 days ago
1997
ACM
We investigate a novel multicast technique, called Skyscraper Broadcasting (SB), for video-on-demand applications. We discuss the data fragmentation technique, the broadcasting st...