Sciweavers

2416 search results - page 1 / 484
» The design and implementation of typed scheme
Sort
View
183
Voted
POPL
2008
ACM
16 years 1 months ago
The design and implementation of typed scheme
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
Sam Tobin-Hochstadt, Matthias Felleisen
111
Voted
ICPP
2009
IEEE
15 years 7 months ago
A Strategy-proof Pricing Scheme for Multiple Resource Type Allocations
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
Yong Meng Teo, Marian Mihailescu
110
Voted
AICCSA
2005
IEEE
138views Hardware» more  AICCSA 2005»
15 years 6 months ago
Design, implementation and testing of mobile agent protection mechanism for MANETS
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
K. E. A. Negm
113
Voted
APLAS
2004
ACM
15 years 4 months ago
McJava - A Design and Implementation of Java with Mixin-Types
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
Tetsuo Kamina, Tetsuo Tamai
114
Voted
ISSS
2002
IEEE
141views Hardware» more  ISSS 2002»
15 years 6 months ago
An Accelerated Datapath Width Optimization Scheme for Area Reduction of Embedded Systems
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
Hiroto Yasuura, Yun Cao, Mohammad Mesbah Uddin