Sciweavers

7555 search results - page 60 / 1511
» The Type System of DBPL
Sort
View
146
Voted
RTCSA
2005
IEEE
15 years 9 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
15 years 10 months ago
Introducing Type-2 Fuzzy Sets for Image Texture Modelling
Jesús Chamorro-Martínez, Pedro Mart&...
102
Voted
FROCOS
2009
Springer
15 years 10 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»
15 years 7 months ago
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
Andrew K. Wright, Suresh Jagannathan, Cristian Ung...
97
Voted
TIC
1998
Springer
15 years 7 months ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....