Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
This paper describes an indexing substrate for typed feature structures (ISTFS), which is an efficient retrieval engine for typed feature structures. Given a set of typed feature ...
: A unidirectional coupling scheme is investigated in double scroll type chaotic oscillators that reveal interesting multiscroll dynamics. Instead of using self-oscillatory systems...
Syamal Kumar Dana, Brajendra K. Singh, Satyabrata ...
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...