1723 search results - page 96 / 345 » Generalized file system dependencies |
INFORMATICALT
2006
14 years 10 months ago
2006
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
Flash memory has many merits such as light weight, shock resistance, and low power consumption, but also has limitations like the erase-before-write property. To overcome such lim...