Penny is a system that exploits ne grained paral lelism in an AKL program During execution a set of workers processes share a set of tasks that are cre ated dynamically To achieve good parallel speedup a worker must be assigned a new task as soon as it be comes idle Since no compiler support nor user anno tations are available to guide the execution the Penny system needs a very e cient dynamic...

We study a discrete analog of the Lagrange-d’Alembert principle of nonhonolomic mechanics and give conditions for it to define a map and to be reversible. In specific cases it can generate linearly implicit, semi-implicit, or implicit numerical integrators for nonholonomic systems which, in several examples, exhibit superior preservation of the dynamics. We also study discrete nonholonomic syst...

Several distinctions between various concepts of context are discussed: internal vs. external, intrinsic vs. model-based, and implicit vs. explicit. F ina l ly , a dynamic theory of implicit, intrinsic, internal context is briefly discussed and its application to a context-sensitive general cognitive architecture DUAL and a context-sensitive model of human reasoning, AMBR, are

A key challenge in dynamic information flow analysis is handling implicit flows, where code conditional on a private variable updates a public variable x. The naive approach of upgrading x to private results in x being partially-leaked, where its value contains private data but its label may be either private (on this execution) or public (on an alternative execution where the conditional updat...

This paper presents a survey of the work done in implicit modeling, physics-based modeling, and haptic interaction. Implicit models characterized by the zero-set of polynomial-based algebraic equations and other commonly used analytic equations are extremely powerful in graphics, geometric design, and visualization. We first review the commonly-used techniques in geometric modeling and examine ...

We have built an interpreter for the array programming language J. The interpreter exploits implicit data parallelism in the language to achieve good parallel speedups on a variety of benchmark applications. Many array programming languages operate on entire arrays without the need to write loops. Writing without loops simplifies the programs. Array programs without loops allow an interpreter t...

although explicit and implicit knowledge of language learners are essential to theoretical and pedagogical debates in second language acquisition (sla), little research has addressed the effects of instructional interventions on the two knowledge types (r. ellis, 2005).this study examined the relative effectiveness of explicit and implicit types of form-focused instruction (ffi) on the acquisit...

A novel method of hierarchical implicit modeling is presented, in which an implicit object is modeled by using a hierarchy of implicit surfaces. The hierarchy provides both layered local refinement and global deformation. Local refinement allows the introduction of higher-level detailed surfaces. Global deformation changes the overall shape of the surface while maintaining the integrity of surf...