8021 search results - page 53 / 1605 » A Type System for Tom |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
SIGMOD
2000
ACM
14 years 3 days ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
ENTCS
2007
13 years 7 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
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...