We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Abstract. In this paper, we analyze about the relation between stock price returns and Headline News. Headline News is very important sources of information in asset management, an...