1226 search results - page 176 / 246 » Proofs, Programs and Abstract Complexity |
133
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
154
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
135
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
111
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—In Chebyshev finite-impulse response (FIR) equalization, we design an FIR filter that minimizes the Chebyshev equalization error, i.e., the maximum absolute deviation ...
136
Voted
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...