Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Amy E. Zwarico"'
Publikováno v:
LISP and Symbolic Computation. 8:357-397
In this paper we give semantics toLoop, an expressive typed object-oriented programming language with updatable instance variables.Loop has a rich type system that allows for the typing of methods operating over an open-ended “self” type. We prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fafde6532c3c56ce8c907f5d6b0b7510
https://doi.org/10.1007/bf01018829
https://doi.org/10.1007/bf01018829
Autor:
Amy E. Zwarico, Scott F. Smith
Publikováno v:
Formal Methods in System Design. 7:155-226
Powerful methods have been developed by A. martin and others wherby asynchronous circuits may be automatically constructed by starting from high-level specifications and incrementally transforming them into asynchronous circuits. In this paper we mak
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b280443a47e68f4dc0f3590a5fef0e9
https://doi.org/10.1007/bf01384076
https://doi.org/10.1007/bf01384076
Autor:
William H. Hsu, Amy E. Zwarico
Publikováno v:
Software: Practice and Experience. 25:1097-1116
We present a compression technique for heterogeneous files, those files which contain multiple types of data such as text, images, binary, audio, or animation. The system uses statistical methods to determine the best algorithm to use in compressing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62e09527891aa8f1a22a45831a703109
https://doi.org/10.1002/spe.4380251003
https://doi.org/10.1002/spe.4380251003
Autor:
Scott F. Smith, Amy E. Zwarico
Publikováno v:
Lecture Notes in Computer Science ISBN: 354056778X
CHARME
CHARME
We have shown that Martin et al.'s methodology can be made more rigorous. In order to accomplish this the new concepts of partial declarations, module and component, mutual exclusion violations, fairness, handshaking variables, distinguished ports, e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::170ce49c8aa2522b15bd82ac7f14aa3c
https://doi.org/10.1007/bfb0021723
https://doi.org/10.1007/bfb0021723
Autor:
Rance Cleaveland, Amy E. Zwarico
Publikováno v:
LICS
A framework for generating testing preorders that relate processes on the basis of their timing behavior as well as their degree of relative nondeterminism is developed. The basic concepts of transition systems and testing are reviewed, and timed tes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05c51c6ed9f09208d1e2fa00bd06e837
https://doi.org/10.1109/lics.1991.151635
https://doi.org/10.1109/lics.1991.151635
Autor:
Amy E. Zwarico, Elizabeth I. Leonard
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540600435
AMAST
AMAST
In this paper we address the problem of safely replacing components of a real-time system, especially with faster ones. We isolate a class of real-time processes we call the nonpre-emptive processes. These processes can be related by their speed (rel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::701a1ab3f6a1627ee1ce99e4464922b0
https://doi.org/10.1007/3-540-60043-4_63
https://doi.org/10.1007/3-540-60043-4_63
Publikováno v:
OOPSLA
Important strides toward developing expressive yet semantically sound type systems for object-oriented programming languages have recently been made by Cook, Bruce, Mitchell, and others. This paper focusses on how the theoretical work using F-bounded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b09abf57d3457418376035ac0d56f772
https://doi.org/10.1145/191080.191086
https://doi.org/10.1145/191080.191086
Autor:
Amy E. Zwarico
Publikováno v:
ACM SIGACT News. 24:25-26
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b986bf71e3ca39e71f52a9753ac1e25e
https://doi.org/10.1145/156063.990712
https://doi.org/10.1145/156063.990712
Autor:
Insup Lee, Amy E. Zwarico
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540503026
FTRTFT
FTRTFT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbbaca2083d3f62a1bb3fb209915509e
https://doi.org/10.1007/3-540-50302-1_7
https://doi.org/10.1007/3-540-50302-1_7
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.