Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Jose Amaral
Computing Science Dept., University of Alberta
Edmonton, Canada
2 articles by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Research Article
Eliminating Redundant Join-Set Computations in Static Single Assignment
Angela French
,
Jose Amaral
10.3217/jucs-012-08-1007
28-08-2006
Unique: 371 | Total: 435
| Access Period:
1007-1019
HTML
XML
PDF
Research Article
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
Charles Wallace
,
Guy Tremblay
,
Jose Amaral
10.3217/jucs-007-11-1088
28-11-2001
Unique: 355 | Total: 397
| Access Period:
1088-1112
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK