Sciweavers

72 search results - page 11 / 15
» spe 2008
Sort
View
SPE
2002
154views more  SPE 2002»
14 years 11 months ago
Bytecode verification on Java smart cards
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the byteco...
Xavier Leroy
HOTI
2008
IEEE
15 years 6 months ago
Network Processing on an SPE Core in Cell Broadband Engine
Cell Broadband EngineTM is a multi-core system on a chip and is composed of a general-purpose Power Processing Element (PPE) and eight Synergistic Processing Elements (SPEs). Its ...
Yuji Kawamura, Takeshi Yamazaki, Hiroshi Kyusojin,...
SPE
2002
119views more  SPE 2002»
14 years 11 months ago
HARTEX - a safe real-time kernel for distributed computer control systems
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...
C. K. Angelov, I. E. Ivanov, Alan Burns
SPE
2002
111views more  SPE 2002»
14 years 11 months ago
FC++: Functional tools for object-oriented tasks
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
Yannis Smaragdakis, Brian McNamara
SPE
1998
118views more  SPE 1998»
14 years 11 months ago
Implementing a Zooming User Interface: Experience Building Pad++
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
Benjamin B. Bederson, Jonathan Meyer