8874 search results - page 60 / 1775 » A New Implementation of Automath |
133
Voted
OMER
2001
15 years 4 months ago
2001
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
118
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
126
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
124
click to vote
JCAL
2002
15 years 3 months ago
2002
It has become increasingly important for educators to examine successful ICT implementations with the aim of understanding precisely what makes them successful in teaching and lear...
130
Voted
IAJIT
2010
15 years 2 months ago
2010
: A new code sign implementation of vector median rational hybrid filter based on efficient hardware/software implementation is introduced and applied to colour image filtering pro...