Sciweavers

354 search results - page 32 / 71
» An Architectural Foundation for Relating Features
Sort
View
IJCNN
2006
IEEE
15 years 5 months ago
From Light to Spikes: a Large-Scale Retina Simulator
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
Adrien Wohrer, Pierre Kornprobst, Thierry Vi&eacut...
CCGRID
2001
IEEE
15 years 3 months ago
XtremWeb: A Generic Global Computing System
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...
Gilles Fedak, Cécile Germain, Vincent N&eac...
ICDE
1997
IEEE
114views Database» more  ICDE 1997»
16 years 1 months ago
Modeling Multidimensional Databases
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi
POPL
2008
ACM
16 years 2 days ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
179
Voted
POPL
2006
ACM
16 years 2 days ago
The next 700 data description languages
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
Kathleen Fisher, Yitzhak Mandelbaum, David Walker