5465 search results - page 312 / 1093 » Assigning Types to Processes |
162
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
134
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we describe the development of our BEST nano-robot soccer team composed of 5 robots, a vision system, and communication modules. Each nano-robot is designed with an...
107
click to vote
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...
147
click to vote
GLVLSI
1998
IEEE
15 years 8 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
130
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...