9640 search results - page 1548 / 1928 » Information Systems Development as an Activity |
200
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
130
click to vote
HIPC
2005
Springer
16 years 9 days ago
2005
Springer
We explore the opportunities offered by current and forthcoming VLSI technologies to on-chip multiprocessing for Quantum Chromo Dynamics (QCD), a computational grand challenge for ...
158
click to vote
ISPEC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
132
Voted
LOCA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
179
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...