1332 search results - page 152 / 267 » A generative programming approach to developing pervasive co... |
154
Voted
APCSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
161
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
163
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
129
Voted
EVOW
2010
Springer
15 years 6 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
132
Voted
FPL
2007
Springer
15 years 8 months ago
2007
Springer
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...