1206 search results - page 218 / 242 » Concurrent Abstract Predicates |
79
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
DAC
1995
ACM
15 years 4 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
130
Voted
CNHPCA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...
114
click to vote
DSN
2009
IEEE
15 years 3 months ago
2009
IEEE
As more and more multi-tier services are developed from commercial components or heterogeneous middleware without the source code available, both developers and administrators nee...
116
Voted
APN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...