Sciweavers

18429 search results - page 52 / 3686
» Typing dynamic typing
Sort
View
CORR
2009
Springer
85views Education» more  CORR 2009»
13 years 9 months ago
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco Thudichum Vasconcelos, Francisco Martins, Ti...
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 6 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
CONCUR
2001
Springer
14 years 3 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ISCAS
2003
IEEE
72views Hardware» more  ISCAS 2003»
14 years 4 months ago
Classification of synchronized states in CNNs with higher order cells
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...
Antonio Andreescu, Zbigniew Galias, Maciej Ogorzal...
RECOMB
2004
Springer
14 years 11 months ago
Somatic evolution of cancer
We study a situation that arises in the somatic evolution of cancer. Consider a finite population of replicating cells and a sequence of mutations: type 0 can mutate to type 1, wh...
Martin Nowak