214 search results - page 24 / 43 » Abstraction and extensibility in digital logic simulation so... |
CE
2007
14 years 10 months ago
2007
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
FPL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
100
click to vote
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
IRCDL
2008
14 years 11 months ago
2008
Abstract--OAI-Publishers are software modules implementing the OAI-PMH protocol interface, enabling harvesting of metadata records describing the digital resources of a Digital Rep...