Sciweavers

1389 search results - page 125 / 278
» Definability as hypercomputational effect
Sort
View
METRICS
1999
IEEE
14 years 1 months ago
Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
W. Eric Wong, Swapna S. Gokhale, Joseph Robert Hor...
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
14 years 1 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
FOAL
2007
ACM
14 years 23 days ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
14 years 23 days ago
Evaluating Different Ranking Functions for Context-Based Literature Search
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...
Nattakarn Ratprasartporn, Sulieman Bani-Ahmad, Ali...
ASAP
2004
IEEE
119views Hardware» more  ASAP 2004»
14 years 19 days ago
Automatic Synthesis of Customized Local Memories for Multicluster Application Accelerators
Distributed local memories, or scratchpads, have been shown to effectively reduce cost and power consumption of application-specific accelerators while maintaining performance. Th...
Manjunath Kudlur, Kevin Fan, Michael L. Chu, Scott...