221 search results - page 26 / 45 » Consistent Graphical Specification of Distributed Systems |
SIROCCO
2004
15 years 1 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
119
click to vote
DAC
2008
ACM
16 years 22 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
106
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
159
click to vote
UIST
1992
ACM
15 years 3 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we present a new packaging architecture for chip-level optical interconnections based on imaging fiber bundles. Imaging fiber bundles consist of densely packed arra...