893 search results - page 72 / 179 » Modeling reactive systems in Java |
137
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
118
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
169
click to vote
SIGCOMM
1991
ACM
15 years 8 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
147
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
115
click to vote
MASCOTS
2004
15 years 5 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...