Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,462
TCP and Explicit Congestion Notification
- In: ACM Computer Communication Review, V. 24 N
, 1994
"... This paper discusses the use of Explicit Congestion Notification (ECN) mechanisms in the TCP/IP protocol. The first part proposes new guidelines for TCP’s response to ECN mechanisms (e.g., Source Quench packets, ECN fields in packet headers). Next, using simulations, we explore the benefits and draw ..."
Abstract
-
Cited by 636 (13 self)
- Add to MetaCart
This paper discusses the use of Explicit Congestion Notification (ECN) mechanisms in the TCP/IP protocol. The first part proposes new guidelines for TCP’s response to ECN mechanisms (e.g., Source Quench packets, ECN fields in packet headers). Next, using simulations, we explore the benefits
1 Verification Experimentation with Implicit and Explicit Style Specifications
"... Abstract—A major goal of a verification condition (VC) generation system is to generate assertions that are easily provable. Previous research has included categorizing VCs to assist in understanding the difficultly of the resulting proof. An open question is whether a VC can move from a category th ..."
Abstract
- Add to MetaCart
that requires a more difficult proof into a category where the proof can be automated by using explicit functional specifications. This paper summarizes results from our experimentation with alternative specifications of a List component. G
MULTILISP: a language for concurrent symbolic computation
- ACM Transactions on Programming Languages and Systems
, 1985
"... Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing par ..."
Abstract
-
Cited by 529 (1 self)
- Add to MetaCart
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing
Culture in action: Symbols and strategies
- American Sociological Review
, 1986
"... Culture influences action not by providing the ultimate values toward which action is oriented, but by shaping a repertoire or "tool kit " of habits, skills, and styles from which people construct "strategies of action. " Two models of cultural influence are developed, for settle ..."
Abstract
-
Cited by 482 (0 self)
- Add to MetaCart
Culture influences action not by providing the ultimate values toward which action is oriented, but by shaping a repertoire or "tool kit " of habits, skills, and styles from which people construct "strategies of action. " Two models of cultural influence are developed
On Language and Connectionism: Analysis of a Parallel Distributed Processing Model of Language Acquisition
- COGNITION
, 1988
"... Does knowledge of language consist of mentally-represented rules? Rumelhart and McClelland have described a connectionist (parallel distributed processing) model of the acquisition of the past tense in English which successfully maps many stems onto their past tense forms, both regular (walk/walked) ..."
Abstract
-
Cited by 415 (13 self)
- Add to MetaCart
/walked) and irregular (go/went), and which mimics some of the errors and sequences of development of children. Yet the model contains no explicit rules, only a set of neuron-style units which stand for trigrams of phonetic features of the stem, a set of units which stand for trigrams of phonetic features of the past
A Formal Approach to Software Architecture
, 1997
"... As software systems become more complex, the overall system structure---or software architecture---becomes a central design problem. A system's architecture provides a model of the system that suppresses implementation detail, allowing the architect to concentrate on the analyses and decisions ..."
Abstract
-
Cited by 367 (19 self)
- Add to MetaCart
of a system configuration, the lack of an explicit, independently-characterized architecture or architectural style significantly limits the benefits of software architectural design in current practice. In this dissertation, I show that an Architecture Description Language based on a formal, abstract
Explicit Provability And Constructive Semantics
- Bulletin of Symbolic Logic
, 2001
"... In 1933 G odel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that G odel's provability calculus is noth ..."
Abstract
-
Cited by 139 (25 self)
- Add to MetaCart
is nothing but the forgetful projection of LP. This also achieves G odel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which resisted formalization since the early 1930s. LP may
STYLE
"... 1. Code. In a textual sentence (in the text of the main body or in a footnote), the Internal Revenue Code of 1986 should be referred to as "the Code. " In a textual reference to a section of the Code, "section " is not capitalized and is not preceded by the word "Code. " ..."
Abstract
- Add to MetaCart
;Code. " Example: The qualification requirements of section 127 are more detailed, explicit, and perhaps stricter than those of section 117(d). Income exempt from taxation under a treaty should also be exempt under the Code. Sections 1 and 11 provide tax rate schedules. In section 514(c) and (d
Unification via the ...-Style of Explicit Substitutions
, 2001
"... A unication method based on the se -style of explicit substitution is proposed. This method together with appropriate translations, provide a Higher Order Unication (HOU) procedure for the pure -calculus. Our method is inuenced by the treatment introduced by Dowek, Hardin and Kirchner using the -sty ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
A unication method based on the se -style of explicit substitution is proposed. This method together with appropriate translations, provide a Higher Order Unication (HOU) procedure for the pure -calculus. Our method is inuenced by the treatment introduced by Dowek, Hardin and Kirchner using
Results 1 - 10
of
1,462
