893 search results - page 44 / 179 » Modeling reactive systems in Java |
113
Voted
CASES
2000
ACM
15 years 7 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
129
click to vote
DLOG
2006
15 years 4 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
89
Voted
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
111
Voted
SSIRI
2010
15 years 1 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
100
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...