1822 search results - page 107 / 365 » GENI Design Principles |
107
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
126
Voted
ESAW
2005
Springer
15 years 9 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
109
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
While operating a crane for maximum productivity, the time of operation and the required energy are two important conflicting factors faced by a crane operator. In such a case, tr...
114
Voted
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
139
Voted
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...