4139 search results - page 89 / 828 » Designing and Implementing Combinator Languages |
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
89
Voted
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
EGH
2010
Springer
14 years 9 months ago
2010
Springer
Current GPUs rasterize micropolygons (polygons approximately one pixel in size) inefficiently. Additionally, they do not natively support triangle rasterization with jittered samp...
AIED
2005
Springer
15 years 4 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
MEDINFO
2007
15 years 16 days ago
2007
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...