3868 search results - page 627 / 774 » Open Systems in TLA |
169
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
164
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of the world-wide-web has led to an increased interest in methods for searching for information. A key characteristic of many of the online document collections is t...
180
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
157
click to vote
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
167
click to vote
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...