LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Name
Swedish Institute of Computer Science Publications Database
Type
Institutional Repository
Items
1239 Publications
Compatibility
OpenAIRE Basic (DRIVER OA)
OAI-PMH
http://soda.swedish-ict.se/cgi/oai2
More information
Detailed data provider information (OpenDOAR)

 

  • Using SimICS to evaluate the Penny system

    Montelius, Johan; Magnusson, Peter (1997)
    Instruction-set simulators allow programmers a detailed level of insight into, and control over, the execution of a program, including parallel programs and operating systems. In principle, instruction set simulation can model any target computer and gather any statistic. Furthermore, such simulators are usually portable, independent of compiler tools, and deterministic-allowing bugs to be recreated or measurements repeated. Though often viewed as being too slow for use as a general programmi...

    Entailment of finite domain constraints

    Carlson, Björn; Carlsson, Mats; Diaz, Daniel (1994)

    The complete axiomatization of cs-congruence

    Parrow, Joachim; Sjödin, Peter (1994)

    An Open-Ended finite domain constraint solver

    Carlsson, Mats; Ottosson, Greger; Carlson, Björn (1997)

    Services to support distributed applications in a mobile environment

    Daviest, Nigel; Pink, Stephen; Blair, Gordon (1994)
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark