Sciweavers

2596 search results - page 95 / 520
» Gradual Typing for Objects
Sort
View
136
Voted
AINA
2007
IEEE
15 years 9 months ago
Pervasive Computing with Frugal Objects
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
Benoît Garbinato, Rachid Guerraoui, Jarle Hu...
CISIS
2010
IEEE
15 years 8 months ago
Shared Data Grid Programming Improvements Using Specialized Objects
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
Dacian Tudor, Georgiana Macariu, Wolfgang Schreine...
ECEASST
2008
110views more  ECEASST 2008»
15 years 3 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
121
Voted
TOOLS
2010
IEEE
15 years 8 months ago
Read-Only Execution for Dynamic Languages
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
Jean-Baptiste Arnaud, Marcus Denker, Stépha...
ICCV
2003
IEEE
16 years 5 months ago
Object Recognition with Informative Features and Linear Classification
In this paper we show that efficient object recognition can be obtained by combining informative features with linear classification. The results demonstrate the superiority of in...
Michel Vidal-Naquet, Shimon Ullman