Sciweavers

72 search results - page 11 / 15
» spe 2008
Sort
View
SPE
2002
154views more  SPE 2002»
13 years 8 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
14 years 3 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»
13 years 8 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»
13 years 8 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»
13 years 8 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