Sciweavers

3971 search results - page 396 / 795
» On the Use of Properties in Java Applications
Sort
View
SEBD
2003
159views Database» more  SEBD 2003»
15 years 8 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
CCE
2005
15 years 6 months ago
Model-based computer-aided design for controlled release of pesticides
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...
Núria Muro-Suñé, Rafiqul Gani...
SIES
2007
IEEE
16 years 1 months ago
Architecture and Implementation of an Embedded Wormhole
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...
Hugo Ortiz, Antonio Casimiro, Paulo Veríssi...
159
Voted
DATE
2000
IEEE
90views Hardware» more  DATE 2000»
15 years 11 months ago
Fast Cache and Bus Power Estimation for Parameterized System-on-a-Chip Design
We present a technique for fast estimation of the power consumed by the cache and bus sub-system of a parameterized system-on-a-chip design for a given application. The technique ...
Jörg Henkel, Tony Givargis, Frank Vahid
MICRO
2009
IEEE
326views Hardware» more  MICRO 2009»
16 years 1 months ago
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
Changhee Jung, Nathan Clark