Search Sciweavers | Sciweavers

We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...

Michael Fisher, Richard Owens

claim paper

Read More »

click to vote

ECOOP
1989
Springer

92views Programming Languages» more ECOOP 1989»

The Past, Present and Future of Smalltalk

15 years 7 months ago

Download www.ifs.uni-linz.ac.at

L. Peter Deutsch

claim paper

Read More »

121

click to vote

ASPDAC
2007
ACM

95views Hardware» more ASPDAC 2007»

Meeting with the Forthcoming IC Design "The Era of Power, Variability and NRE Explosion and a Bit of the Future"

15 years 7 months ago

Download www.aspdac.com

Takayasu Sakurai

claim paper

Read More »

100

click to vote

SBP
2010
Springer

170views Applied Computing» more SBP 2010»

Projecting Sexual and Injecting HIV Risks into Future Outcomes with Agent-Based Modeling

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers