7924 search results - page 143 / 1585 » Non-Malleable Functions and Their Applications |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
ITNG
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper is the second on a series of four papers and presents the functional systematization implementation specification of a subsystem with integrative function based on a Se...
CW
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
ROBOCUP
1999
Springer
14 years 1 months ago
1999
Springer
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
COMPSAC
2004
IEEE
14 years 24 days ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...