1822 search results - page 107 / 365 » GENI Design Principles |
143
click to vote
ESOP
2007
Springer
16 years 14 days 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...
160
click to vote
ESAW
2005
Springer
15 years 12 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 ...
138
click to vote
GECCO
2004
Springer
15 years 11 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...
147
click to vote
ASAP
2003
IEEE
15 years 11 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...
180
click to vote
WORDS
2003
IEEE
15 years 11 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...