7529 search results - page 196 / 1506 » The Modula-3 Type System |
186
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
194
click to vote
DATESO
2008
15 years 7 months ago
2008
In this paper we deal with a particular type of database systems
144
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
182
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
207
click to vote
BMCBI
2006
15 years 6 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...