11397 search results - page 2130 / 2280 » A Relational Abstraction for Functions |
205
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
VESPA (Vehicular Event Sharing with a mobile P2P Architecture) 1 is a system for enabling vehicles to share information in vehicular ad-hoc networks (VANETs). The originality of V...
197
click to vote
ACISP
2008
Springer
16 years 1 months ago
2008
Springer
The elastic block cipher design employs the round function of a given, b-bit block cipher in a black box fashion, embedding it in a network structure to construct a family of ciphe...
222
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
219
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we propose a system for finding partial positive and negative coregulated gene clusters in microarray data. Genes are clustered together if they show the same p...
210
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...