2756 search results - page 314 / 552 » Computation-Centric Memory Models |
131
click to vote
ISORC
2003
IEEE
15 years 10 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
137
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
158
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
107
click to vote
EUROMICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
151
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...