Sciweavers

7555 search results - page 60 / 1511
» The Type System of DBPL
Sort
View
RTCSA
2005
IEEE
14 years 2 months ago
Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
Sanjoy K. Baruah, Nathan Fisher
ISDA
2009
IEEE
14 years 3 months ago
Introducing Type-2 Fuzzy Sets for Image Texture Modelling
Jesús Chamorro-Martínez, Pedro Mart&...
FROCOS
2009
Springer
14 years 3 months ago
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
d abstract) Takahito Aoto† Toshiyuki Yamada‡
Takahito Aoto, Toshiyuki Yamada
TIC
1998
Springer
107views System Software» more  TIC 1998»
14 years 1 months ago
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
Andrew K. Wright, Suresh Jagannathan, Cristian Ung...
TIC
1998
Springer
14 years 13 days ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....