| |
Future Generation Computer Systems, Vol. 26, No. 2. (21 February 2010), pp. 245-256.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
SIGPLAN Not., Vol. 37, No. 1. (2002), pp. 270-282.
|
| |
In ICDE '09: Proceedings of the 2009 IEEE International Conference on Data Engineering (2009), pp. 577-580.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
Norwegian University of Science and Technology (2004), pp. 1-4244.
|
| |
In ICSE '81: Proceedings of the 5th international conference on Software engineering (1981), pp. 439-449.
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 170-183.
|
| |
J. Autom. Reason., Vol. 30, No. 3-4. (2003), pp. 235-269.
|
| |
Proceedings of the IEEE, Vol. 83, No. 5. (1995), pp. 773-801.
|
| |
Journal of Circuits, Systems, and Computers, Vol. 12 (2003), pp. 231-260.
|
| |
Intelligent Robots and Systems, 2004. (IROS 2004). Proceedings. 2004 IEEE/RSJ International Conference on In Intelligent Robots and Systems, 2004. (IROS 2004). Proceedings. 2004 IEEE/RSJ International Conference on, Vol. 2 (2004), pp. 1820-1825 vol.2.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Vol. 203, No. 5. (12 June 2008), pp. 263-284.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 114-126.
|
| |
ACM Computing Surveys (CSUR), Vol. 36, No. 1. (March 2004), pp. 1-34.
|
| |
ACM SIGARCH Computer Architecture News, Vol. 17, No. 3. (1989), pp. 262-272.
|
| |
eScience, 2008. eScience '08. IEEE Fourth International Conference on In eScience, 2008. eScience '08. IEEE Fourth International Conference on (2008), pp. 71-78.
|
| |
J. Netw. Comput. Appl., Vol. 26, No. 1. (January 2003), pp. 11-26.
|
| |
|
| |
|
| |
In PASTE '02: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2002), pp. 61-68.
|
| |
|
| |
In Supercomputing '00: Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM) (2000)
|
| |
In MM '08: Proceeding of the 16th ACM international conference on Multimedia (2008), pp. 873-876.
|
| |
Distributed Computing, Vol. 21, No. 3. (2008), pp. 163-181.
|
| |
|
| |
|
| |
|
| |
In ASPLOS-IV: Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, Vol. 19, No. 2. (April 1991), pp. 176-188.
|
| |
ACM Comput. Surv., Vol. 18, No. 4. (1986), pp. 365-396.
|
| |
In ISCA '81: Proceedings of the 8th annual symposium on Computer Architecture (1981), pp. 291-302.
|
| |
Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 48, No. 6. (1999), pp. 579-590.
|
| |
In ISCA '81: Proceedings of the 8th annual symposium on Computer Architecture (1981), pp. 291-302.
|
| |
The Journal of Supercomputing, Vol. 26, No. 2. (2003), pp. 167-184.
|
| |
|
| |
Commun. ACM, Vol. 31, No. 12. (1988), pp. 1456-1466.
|
| |
|
| |
In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 1099-1110.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 49-61.
|
| |
|
| |
|
| |
|
| |
Functional and Logic Programming (2006), pp. 259-276.
|
| |
Programming Languages and Systems (2006), pp. 294-308.
|
| |
|
| |
Journal of Visual Languages and Computing, Vol. 7, No. 2. (1996), pp. 131-174.
|
| |
IEEE Comput. Graph. Appl., Vol. 10, No. 4. (July 1990), pp. 60-69.
|
| |
Visualization, 1992. Visualization '92, Proceedings., IEEE Conference on In Visualization, 1992. Visualization '92, Proceedings., IEEE Conference on (1992), pp. 384-388.
|
| |
|
| |
The Journal of VLSI Signal Processing, Vol. 15, No. 1. (1 January 1997), pp. 127-144.
|
Search
