2777 search results - page 176 / 556 » Example centric programming |
129
Voted
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
107
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
105
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
84
Voted
PVM
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we describe the difficulties inherent in making accurate, reproducible measurements of message-passing performance. We describe some of the mistakes often made in att...
110
click to vote
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...