ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 2 of 1,394,228
|
|
|
1
|
|
Scalable compositional reachability analysis of real-time concurrent systems
|
|
June 1996
|
|
RTAS '96: Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
A description model for high level behavior of a real time concurrent system is presented. A verification algorithm is then devised to take advantage of interaction locality and symmetry and internal operation concealment in the model. A system called ...
Keywords: VERIFAST, computational complexity, description model, high level behavior, interaction locality, internal operation concealment, parallel programming, program diagnostics, program verification, reachability analysis, real time concurrent systems, real-time systems, scalable compositional reachability analysis, time complexity, verification algorithm
|
|
2
|
|
Verifying design modularity, hierarchy, and interaction locality using data clustering techniques
|
|
March 2007
|
|
ACM-SE 45: Proceedings of the 45th annual southeast regional conference
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(251.73 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 10, Downloads (12 Months): 35, Downloads (Overall): 144, Citation Count: 2 |
|
|
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designing software systems is striving for high cohesion within a module and low ...
Keywords: clustering, hierarchy, interaction locality, modularity
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site